159
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
218
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
154
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
