743 search results - page 15 / 149 » A Calculus of Gamma Programs |
108
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
100
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
222
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
122
click to vote
FM
1994
Springer
15 years 7 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
113
click to vote
LOGCOM
1998
15 years 2 months ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...