Baby Modula-3 and a theory of objects-Reference-Cited by-同舟云学术

Baby Modula-3 and a theory of objects

Published:1994-04 Issue:2 Volume:4 Page:249-283
ISSN:0956-7968
Container-title:Journal of Functional Programming
language:en
Short-container-title:J. Funct. Prog.

Author:

Abadi Martin

Abstract

AbstractBaby Modula-3 is a small, functional, object-oriented programming language. It is intended as a vehicle for explaining the core of Modula-3 from a biased perspective: Baby Modula-3 includes the main features of Modula-3 related to objects, but not much else. To the theoretician, Baby Modula-3 provides a tractable, concrete example of an object-oriented language, and we use it to study the formal semantics of objects. Baby Modula-3 is defined with a structured operational semantics and with a set of static type rules. A denotational semantics guarantees the soundness of this definition.

Publisher

Cambridge University Press (CUP)

Subject

Software

Reference26 articles.

1. Girard J.-Y. (1972) Interprétation Fonctionnelle et Elimination des Coupures de l'Arithmétique d'Ordre Supérieur. Thèse de doctorat d'état, Université Paris VII.

2. Abadi M. Plotkin G. (1990) A per model of polymorphism and recursive types. In: Proceedings of the Fifth Annual Symposium on Logic In Computer Science Conference, 355–365. IEEE.

3. Cook W.R. (1989) A denotational semantics of inheritance. PhD thesis, Brown University.

4. Plotkin G. (1981) A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Denmark.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07

2. Extensible objects without labels;ACM Transactions on Programming Languages and Systems;2004-09

3. The recursive record semantics of objects revisited;Journal of Functional Programming;2004-04-14

4. Extensible Objects: A Tutorial;Global Computing. Programming Environments, Languages, Security, and Analysis of Systems;2003

5. Typed interpretations of extensible objects;ACM Transactions on Computational Logic;2002-10