How to make algebraic specifications more understandable: An experiment with the pluss specification language
- 1 June 1989
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 12 (1) , 1-38
- https://doi.org/10.1016/0167-6423(89)90026-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errorsTheoretical Computer Science, 1986
- Specification of the UNIX Filing SystemIEEE Transactions on Software Engineering, 1984
- An algebraic specification of a Pascal compilerACM SIGPLAN Notices, 1983
- Partial abstract typesActa Informatica, 1982