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.
