116
click to vote
SAS
16 years 29 days ago
2009 Springer 
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
SAS
16 years 29 days ago
2009 Springer 
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
97
Voted
SAS
16 years 29 days ago
2009 Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
105
click to vote
SAS
2009 Springer Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
16 years 29 days ago
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
SAS
16 years 29 days ago
2009 Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
|
Formal Methods