Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Compilation of the type view in Pi

Über die Compilation algebraischer Spezifikationen in Pi
 
: Budach, L.
: Fraunhofer-Institut für Software und Systemtechnik -ISST-, Berlin

Berlin, 1992, 68 pp.
ISST-Berichte, 1
English
Book
Fraunhofer ISST ()
Algebra; compiler; computer language; Programmiersprache; software engineering

Abstract
The following paper is a proposal how to compile abstract algebraic specifications into fully concrete specifications where computations are running directly in the object code. It is assumed that the algebraic specifications are in a certain sense constructive. This compiler allows the compilation of software systems consisting of mixed abstract (type view) and concrete (imperative view) modules and specified in the Pi-language into specifications which are described fully concrete (in terms of Pi: in the imperative view only).

: http://publica.fraunhofer.de/documents/PX-44984.html