Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, "Towards an Object Calculus", in Proc. Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing (, , 1992), pp. 1-20

Abstract

The development of concurrent object-based programming languages has suffered from the lack of any generally accepted formal foundations for defining their semantics. Furthermore, the delicate relationship between object-oriented features supporting reuse and operational features concerning interaction and state change is poorly understood in a concurrent setting. To address this problem, we propose the development of an object calculus, borrowing heavily from relevant work in the area of process calculi. To this end, we briefly review some of this work, we pose some informal requirements for an object calculus, and we present the syntax, operational semantics and use through examples of a proposed object calculus, called OC.

Bibtex

@inproceeding{Nier92a,
Author = "Oscar Nierstrasz",
Title = "Towards an Object Calculus",
Booktitle = "Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing",
Editor = "M. Tokoro, O. Nierstrasz, P. Wegner",
Publisher = "Springer-Verlag",
Pages = "1-20",
Organization = "",
Address = "",
Key = "pcalc-obc mobility oc obc91 tr92 osg-ftp-book",
Notes = "",
Month = "",
Year = "1992"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.