Imperative Objects and Mobile Processes

Open Access
Publisher Website
Google Scholar
Abstract
An interpretation of Abadi and Cardelli's first-order Imperative ObjectCalculus into a typed pi-calculus is presented. The interpretationvalidates the subtyping relation and the typing judgements of the ObjectCalculus, and is computationally adequate. The proof of computationaladequacy makes use of (a pi-calculus version) of ready simulation, and of afactorisation of the interpretation into a functional part and a very simpleimperative part. The interpretation can be used to compare and contrastthe Imperative and the Functional Object Calculi, and to prove propertiesabout them, within a unified framework.

This publication has 0 references indexed in Scilit: