Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:55 - 4 self

Active Bibliography

27 Foundations of Modular SOS – Peter D. Mosses - 1999
17 Foundations of Modular SOS (Extended Abstract) – Peter D. Mosses - 1999
9 A Modular SOS for ML Concurrency Primitives – Peter D. Mosses - 1999
6 Formal Semantics of Programming Languages -- An Overview – Peter D. Mosses - 2006
4 A constructive approach to language definition – Peter D. Mosses - 2005
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
4 Logical Specification of Operational Semantics – Peter D. Mosses - 1999
Preliminary Proceedings Structural Operational Semantics – Reykjavík Iceland, Matthew Hennessy, Bartek Klin Contents, Vincent Danos, Dale Miller - 2008
4 Modularity in structural operational semantics (Extended Abstract) – Peter D. Mosses - 1998
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
11 Programming Language Semantics – David A. Schmidt - 1995
11 Language-driven System Design – S. Mauw, W. T. Wiersma, T. A. C. Willemse - 2004
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
The Semantics of Views for Reasoning about Parallel and Distributed Computation – Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes, Dr. Rebecca, J. Parsons
ParaDOS: A Parameterized, Parallel and Distributed Operational Semantics - Towards a . . . – Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes, Mostafa A. Bassiouni, Ronald F. Demara - 1998
Principles and a Preliminary Design for ML2000 – The ML2000 Working Group - 1999
Principles and a Preliminary Design for ML2000 – The Ml Working - 2000
3 A language-theoretic approach to algorithms – Deepak Goyal - 2000
12 Refocusing in Reduction Semantics – Olivier Danvy, Lasse R. Nielsen - 2004