The stratified loose approach: A generalization of initial and loose semantics
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Formal specifications, prototyping and integration testsPublished by Springer Nature ,2005
- Good functors ... are those preserving philosophy!Published by Springer Nature ,1987
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errorsTheoretical Computer Science, 1986
- Abstract implementations and correctness proofsPublished by Springer Nature ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Algebraic specification of synchronisation and errors: A telephonic examplePublished by Springer Nature ,1985
- Algebraic specification of exception handling and error recovery by means of declarations and equationsPublished by Springer Nature ,1984
- An algebraic specification of a Pascal compilerACM SIGPLAN Notices, 1983
- Partial abstract typesActa Informatica, 1982
- Parameterized data types in algebraic specification languagesLecture Notes in Computer Science, 1980