397 search results - page 80 / 80 » The Kell Calculus: Operational Semantics and Type System |
POPL
1995
ACM
13 years 8 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
EMSOFT
2010
Springer
13 years 3 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...