Technical Report: DCC-97-12

A Framework for Compiling Object Calculi

Luís Lopes, Fernando Silva and Vasco T. Vasconcelos (*)

Departamento de Ciência de Computadores & LIACC
Faculdade de Ciências, Universidade do Porto
Rua do Campo Alegre, 823 4150 Porto, Portugal

November 1997

Abstract

We give a specification for an abstract machine for object calculi. The instruction set is intended to work as a target assembly language to which high level concurrent languages may be compiled. As a case example the compilation of the TyCO object calculus is treated. Some preliminary results on a prototype implementation are given.

Keywords: Object, Concurrency, Abstract-Machine, Language Implementation.
(*) Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Portugal.