The SMoLCS approach to the formal semantics of programming languages
Authors:
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 81-116
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- SMoLCS-driven concurrent calculiLecture Notes in Computer Science, 1987
- Comparing direct and continuation semantics styles for concurrent languages1987
- On the parameterized algebraic specification of concurrent systems1985
- 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 abstractLecture Notes in Computer Science, 1983
- Partial abstract typesActa Informatica, 1982
- A Calculus of Communicating Systems1980
- Towards a Formal Description of AdaLecture Notes in Computer Science, 1980
- The Vienna Development Method: The Meta-Language1978