A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A mapping system from Object-Z to C++
Proceedings of 1st Asia-Pacific Software Engineering Conference
Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. This paper introduces and discusses a structural mapping system f r o m Object-Z to the programming language C++, and reports on its implementation o n UNIX. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such as data members and prototypes of member functions. Thus it is not intended as a code generation system,
doi:10.1109/apsec.1994.465258
dblp:conf/apsec/FukagawaHY94
fatcat:g76vvmucuna5jbe7xkgiijpm44