A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Algebraic specification and functionals for transformational program and meta program development
[chapter]
1989
Lecture Notes in Computer Science
A methodology for PROgram development by SPECification and TRAnsformation is described. Formal requirement specifications are the basis for constructing correct and efficient programs by gradual transformation. A uniform treatment of algebraic specification is presented to formalise data, programs, transformation rules, in fact the program development process itself. It is shown by example that the development of meta programs, for example an efficient transformation algorithm incorporating the
doi:10.1007/3-540-50940-2_26
fatcat:4udql5ygazcvhn5ag2f6nxfmkm