The SMoLCS approach to the formal semantics of programming languages
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- SMoLCS-driven concurrent calculiPublished by Springer Nature ,1987
- Comparing direct and continuation semantics styles for concurrent languagesPublished by Springer Nature ,1987
- On the parameterized algebraic specification of concurrent systemsPublished by Springer Nature ,1985
- Algebraic definition of a functional programming language and its semantic modelsRAIRO. Informatique théorique, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A kernel language for algebraic specification and implementation extended abstractPublished by Springer Nature ,1983
- Partial abstract typesActa Informatica, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Towards a Formal Description of AdaLecture Notes in Computer Science, 1980
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978