|
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
|
|
5
|
Formal Semantics of Programming Languages -- An Overview
– Peter D. Mosses
- 2006
|
|
3
|
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
|
|
3
|
Modularity in structural operational semantics. Extended abstract
– Peter D. Mosses
- 1998
|
|
145
|
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
|
|
|
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
|
|
31
|
Concurrent ML: Design, Application and Semantics
– John H. Reppy
- 1993
|
|
|
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
|
|
6
|
Refocusing in Reduction Semantics
– Olivier Danvy, Lasse R. Nielsen
- 2004
|
