Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

TAPSOFT
1995
Springer

favoriteEmaildiscussreport

103views Software Engineering» more TAPSOFT 1995»

An Imperative Object Calculus

13 years 8 months ago

An Imperative Object Calculus

Download lucacardelli.name

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.

Martín Abadi, Luca Cardelli

Real-time Traffic

Imperative Calculus | Minimal Setting | Simple Subject-reduction Approach | Software Engineering | TAPSOFT 1995 |

claim paper

Related Content

» An Imperative FirstOrder Calculus with Object Extension

» Flow Logic for Imperative Objects

» Bisimulations for Untyped Imperative Objects

» Functional translation of a calculus of capabilities

» Alias Types and Effects for Environmentaware Computations

» A Concurrent Object Calculus Reduction and Typing

» Imperative LF MetaProgramming

» A Calculus for EnvironmentAware Computation

» A Core Calculus of Classes and Mixins

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	TAPSOFT
Authors	Martín Abadi, Luca Cardelli

Comments (0)