An Imperative Object Calculus -- Basic Typing and Soundness (1995)
Cached
Download Links
- [research.compaq.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [lucacardelli.name]
- DBLP
Other Repositories/Bibliography
by
Martin Abadi
,
Luca Cardelli
| Venue: | DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN |
| Citations: | 8 - 2 self |
BibTeX
@TECHREPORT{Abadi95animperative,
author = {Martin Abadi and Luca Cardelli},
title = {An Imperative Object Calculus -- Basic Typing and Soundness},
institution = {DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing rules of object-oriented languages. We prove type soundness using a simple subject-reduction approach.
