The Deep Blue Calculus (1998)
by
Luigi Liquori
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Liquori98thedeep,
author = {Luigi Liquori},
title = {The Deep Blue Calculus},
year = {1998}
}
author = {Luigi Liquori},
title = {The Deep Blue Calculus},
year = {1998}
}
Bookmarks
OpenURL
Abstract:
We develop a calculus which is a "direct" descendant of the blue calculus of Boudol [Bou97]. This calculus is both an extension of Abadi & Cardelli's ζ-calculus [AC96] and the Milner's π-calculus [Mil93]. We give a simple type system that is a direct extension of any type fragment considered in [AC96] encodable into the π-calculus. The type system enjoys Subject Reduction. We provide finally an adequate CPS transform from our calculus to the blue calculus. This transform shows that the latter can be seen as a "target language", while our calculus provide a very expressive and promising notation for higher-order object-oriented concurrent programming languages.
Citations
| 755 | A Theory of Objects – Abadi, Cardelli - 1996 |
| 145 | A natural semantics for lazy evaluation – LAUNCHBURY |
| 60 | The pi-calculus in direct style – Boudol - 1997 |
| 25 | An interpretation of typed objects into typed -calculus – Sangiorgi - 1998 |
| 19 | Polyadic -Calculus: a tutorial. Logic and Algebra of Specification – Milner - 1993 |
| 12 | Objects as mobile processes – Huttel, Kleist - 1996 |
