Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:55 - 4 self

Documents Related by Co-Citation

1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
145 Denotational Semantics – P D Mosses - 1990
25 Modular rewriting semantics of programming languages – Christiano Braga - 2004
27 Foundations of Modular SOS – Peter D. Mosses - 1999
121 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
26 Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics – C Braga - 2001
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
74 The semantics of programming languages: an elementary introduction using structural operational semantics – Matthew Hennessy - 1990
299 Natural semantics – G. Kahn - 1987
232 The Formal Semantics of Programming Languages: An Introduction. Foundations of Computing series – Glynn Winskel - 1993
11 Language-driven System Design – S. Mauw, W. T. Wiersma, T. A. C. Willemse - 2004
5 Production and Maintenance of Content Intensive Videogames: A Document-Oriented Approach – Iván Martínez-ortiz, Pablo Moreno-ger, José Luis Sierra, Baltasar Fernández-manjón - 2006
82 Markup systems and the future of scholarly text processing – James H Coombs, Allen H Renear, Steve J DeRose - 1987
53 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
9 Executable Structural Operational Semantics in – A Verdejo, N Martí-Oliet - 2006
9 Modular rewriting semantics in practice – Christiano Braga, José Meseguer - 2005
51 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
9 Software Specification and Verification in Rewriting Logic – José Meseguer - 2003
103 Algebraic Semantics of Imperative Programs – J Goguen, G Malcolm - 1996