An interpretation of typed OOP in a language with state |
| |
Authors: | Jonathan Eifrig Scott Smith Valery Trifonov and Amy Zwarico |
| |
Affiliation: | (1) Department of Computer Science, The Johns Hopkins University, USA |
| |
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.Partially supported by NSF grant CCR-9109070Partially supported by AFOSR grant F49620-93-1-0169 |
| |
Keywords: | Object-oriented programming type systems state in programming |
本文献已被 SpringerLink 等数据库收录! |
|