Type-Theoretic Foundations for Concurrent Object-Oriented Programming

  title={Type-Theoretic Foundations for Concurrent Object-Oriented Programming},
  author={Naoki Kobayashi and Akinori Yonezawa},
A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “object-oriented programming = λ-calculus + record.” Based on an analogous view “concurrent object-oriented programming = concurrent calculus + record,” we develop a static type system for concurrent object-oriented programming. We choose our own Higher-Order ACL as a basic concurrent calculus, and show that a concurrent object-oriented language can be easily encoded in the… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.