Partial abstract types
Authors:
- 1 January 1982
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 18 (1) , 47-64
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On the power of algebraic specifications1981
- On the algebraic extensions of abstract data typesLecture Notes in Computer Science, 1981
- On the algebraic specification of nondeterministic programming languagesLecture Notes in Computer Science, 1981
- Algorithmische Sprache und Programmentwicklung1981
- Transformational semantics for concurrent programsInformation Processing Letters, 1980
- Terminal algebra semantics and retractions for abstract data typesLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrency1980
- Parameterized data types in algebraic specification languages1980
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Observability concepts in abstract data type specification1976