ISSN:
1573-0557
Keywords:
Object-oriented programming
;
type systems
;
state in programming
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract In this paper we give semantics toLoop, an expressive typed object-oriented programming language with updatable instance variables.Loop has a rich type system that allows for the typing of methods operating over an open-ended “self” type. We prove the type system given is sound;i.e., well-typed programs do not experience “message not understood” errors. The semantics ofLoop is given by a translation into a state-based language,Soop, that contains reference cells, records, and a form of F-bounded polymorphic type.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01018829
Permalink