Characterizing specification languages which admit initial semantics
- 1 January 1983
- book chapter
- Published by Springer Nature
- p. 300-316
- https://doi.org/10.1007/3-540-12727-5_18
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- An axiomatic approach to semantics of specification languagesPublished by Springer Nature ,2005
- On the power of algebraic specificationsPublished by Springer Nature ,1981
- Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalitiesPublished by Springer Nature ,1981
- Algebraic theory of parameterized specifications with requirementsPublished by Springer Nature ,1981
- Final data type specificationsPublished by Association for Computing Machinery (ACM) ,1980
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Parameterized data types in algebraic specification languagesLecture Notes in Computer Science, 1980
- Some definitions for algebraic data type specificationsACM SIGPLAN Notices, 1979