33 search results - page 2 / 7 » esop 2007 |
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...