Abstract data types and algebraic semantics of programming languages
- 30 April 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 18 (1) , 1-31
- https://doi.org/10.1016/0304-3975(82)90109-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- More on advice on structuring compilers and proving them correctLecture Notes in Computer Science, 1979
- The algebraic specification of abstract data typesActa Informatica, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Une formalisation de la sémantique des langages de programmationRevue française d'automatique informatique recherche opérationnelle. Informatique théorique, 1976
- Semantics of context-free languagesTheory of Computing Systems, 1968