The µZ Calculus and its Implementation

Wolfgang Grieskamp

Technische Universität Berlin, FB13, Institut für Kommunikations- und Softwaretechnik. E-mail: wg@cs.tu-berlin.de

Abstract:

µZ is a small calculus which is designed as an intermediate language for the execution of a subset of the set-based specification language Z. In this paper, we present µZ's definition and computation model, and sketch its implementation. It is proposed that the provided model and implementation is of interest for the implementation of declarative languages in general.