ASSPEGIQUE: An integrated environment for algebraic specifications
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 246-260
- https://doi.org/10.1007/3-540-15199-0_16
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Algebraic specification of exception handling and error recovery by means of declarations and equationsPublished by Springer Nature ,1984
- Exception Handling: Formal Specification and Systematic Program Construction Extended AbstractPublished by Springer Nature ,1984
- A kernel language for algebraic specification and implementation extended abstractPublished by Springer Nature ,1983
- Partial abstract typesActa Informatica, 1982
- Proofs by Induction in “Fairly” Specified Equational TheoriesPublished by Springer Nature ,1982
- Algebraic denotational semantics using parameterized abstract modulesPublished by Springer Nature ,1981
- The semantics of clear, a specification languagePublished by Springer Nature ,1980