On the power of algebraic specifications
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 193-204
- https://doi.org/10.1007/3-540-10856-4_85
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Initially — Restricting algebraic theoriesPublished by Springer Nature ,2005
- The development of an interpreter by means of abstract algebraic software specificationsLecture Notes in Computer Science, 1981
- On the algebraic specification of nondeterministic programming languagesLecture Notes in Computer Science, 1981
- Final data type specificationsPublished by Association for Computing Machinery (ACM) ,1980
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Data types, abstract data types and their specification problemTheoretical Computer Science, 1979
- A Course in Mathematical LogicPublished by Springer Nature ,1977
- The Theoretical Aspects of the Optimal FixedpointPublished by Defense Technical Information Center (DTIC) ,1976