The development of an interpreter by means of abstract algebraic software specifications
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A simple class of algorithmic specifications for abstract software modulesPublished by Springer Nature ,2005
- An abstract software specification technique based on structural recursionACM SIGPLAN Notices, 1980
- More on advice on structuring compilers and proving them correctLecture Notes in Computer Science, 1979
- The denotational semantics of programming languagesCommunications of the ACM, 1976