On recent trends in algebraic specification
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 263-288
- https://doi.org/10.1007/bfb0035766
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Semantical constructions for categories of behavioural specificationsPublished by Springer Nature ,1989
- Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOSPublished by Springer Nature ,1989
- Algebraic data type and process specifications based on projection spacesPublished by Springer Nature ,1988
- On the algebraic definition of programming languagesACM Transactions on Programming Languages and Systems, 1987
- Attribute coupled grammarsACM SIGPLAN Notices, 1984
- Increasing modularity and language-independency in automatically generated compilersScience of Computer Programming, 1983
- On hierarchies of abstract data typesActa Informatica, 1983
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- A study on transformational semanticsPublished by Springer Nature ,1979
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976