Loading...
Please wait, while we are loading the content...
Similar Documents
An interpretation of typed objects into typed π-calculus (1996).
| Content Provider | CiteSeerX |
|---|---|
| Author | Sangiorgi, Davide Meije, Projet |
| Abstract | An interpretation of Abadi and Cardelli's first-order functional Object Calculus [AC94b] into a typed -calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate. The type language for the -calculus is that in [PS93] a development of Milner's sorting discipline [Mil91] with I/O annotations to separate the capabilities of reading and writing on a channel but with variants in place of tuples. Types are necessary to justify certain algebraic laws for the -calculus which are important in the proof of computational adequacy of the translation. The study intends to offer a contribution to understanding, on the one hand, the relationship between -calculus types and conventional types of programming languages and, on the other hand, the usefulness of the -calculus as a metalanguage for the semantics of typed Object-Oriented languages. |
| File Format | |
| Publisher Date | 1996-01-01 |
| Access Restriction | Open |
| Subject Keyword | Typed Object Typed Pi Typed Calculus Computational Adequacy Object Calculus Typed Object-oriented Language Certain Algebraic Law First-order Functional Object Calculus Ac94b Discipline Mil91 Calculus Type Type Language Conventional Type Programming Language |
| Content Type | Text |
