ESOP
13 years 11 months ago
2004 Springer ESOP
13 years 11 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
13 years 11 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
13 years 11 months ago
2004 Springer ESOP
13 years 9 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...
|