Structured algebraic specifications: A Kernel language
- 31 December 1986
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 42 (2) , 123-249
- https://doi.org/10.1016/0304-3975(86)90051-4
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Algebraic implementations preserve program correctnessScience of Computer Programming, 1986
- Algebraic definition of a functional programming language and its semantic modelsRAIRO. Informatique théorique, 1983
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Partial abstract typesActa Informatica, 1982
- Programming in a wide spectrum language: a collection of examplesScience of Computer Programming, 1981
- I/O-computable data structuresACM SIGPLAN Notices, 1981
- Small specifications for large finite data structuresInternational Journal of Computer Mathematics, 1981
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970