ESOP
2004
Springer
14 years 2 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer