ESOP 2000 | Sciweavers

13

ESOP
2000
Springer

118views Programming Languages» more ESOP 2000»

A Calculus for Compiling and Linking Classes

13 years 8 months ago

Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...

Kathleen Fisher, John H. Reppy, Jon G. Riecke

claim paper

Read More »

18

click to vote

ESOP
2000
Springer

181views Programming Languages» more ESOP 2000»

Compile-Time Debugging of C Programs Working on Trees

13 years 8 months ago

Download www.brics.dk

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...

Jacob Elgaard, Anders Møller, Michael I. Sc...

claim paper

Read More »

6

click to vote

ESOP
2000
Springer

90views Programming Languages» more ESOP 2000»

Formalizing Implementation Strategies for First-Class Continuations

13 years 8 months ago

Download www.daimi.au.dk

Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...

Olivier Danvy

claim paper

Read More »

13

click to vote

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

13 years 8 months ago