Options
1992
Book
Titel
Compilation of the type view in Pi
Alternative
Ãœber die Compilation algebraischer Spezifikationen in Pi
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).
Verlagsort
Berlin