Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, "Regular Types for Active Objects", in Proc. Proceedings OOPSLA '93, ACM SIGPLAN Notices (, Oct., 1993), pp. 1-15

Abstract

Previous work on type-theoretic foundations for object-oriented programming languages has mostly focussed on applying or extending functional type theory to functional "objects." This approach, while benefitting from a vast body of existing literature, has the disadvantage of dealing with state change either in a roundabout way or not at all, and completely side-stepping issues of concurrency. In particular, dynamic issues of non-uniform service availability and conformance to protocols are not addressed by functional types. We propose a new type framework that characterizes objects as regular (finite state) processes that provide guarantees of service along public channels. We also propose an original notion of subtyping for regular types that extends Wegner and Zdonik's "principle of substitutability" to non-uniform service availability, and we relate it to known process equivalences. Finally, we formalize what it means to "satisfy a client's expectations," and we show how regular types can be used to tell when sequential or concurrent clients are satisfied. [NB: a revised version is available by ftp.]

Bibtex

@inproceeding{Nier93d,
Author = "Oscar Nierstrasz",
Title = "Regular Types for Active Objects",
Booktitle = "Proceedings OOPSLA '93, ACM SIGPLAN Notices",
Editor = "",
Publisher = "",
Pages = "1-15",
Organization = "",
Address = "",
Key = "olit-obc pcalc equivalence types osg-ftp oopsla93 tr93",
Notes = "",
Month = "Oct.",
Year = "1993"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.