Towards the semantics of the definitional language of MetaSoft
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 477-503
- https://doi.org/10.1007/3-540-52513-0_24
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The RAISE language, method and toolsPublished by Springer Nature ,1988
- A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoftPublished by Springer Nature ,1988
- From VDM to RAISEPublished by Springer Nature ,1987
- MetaSoft PrimerPublished by Springer Nature ,1987
- Domains for denotational semanticsPublished by Springer Nature ,1982
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970