POPL
2002
ACM
14 years 5 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
POPL
2002
ACM
14 years 5 months ago
2002
ACM
POPL
2002
ACM
14 years 5 months ago
2002
ACM
POPL
2002
ACM
14 years 5 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
POPL
2002
ACM
14 years 5 months ago
2002
ACM
POPL
2002
ACM
14 years 5 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...