Semantics with Applications: A Formal Introduction (1992)

Cached

Download Links

by Hanne Riis Nielson , Flemming Nielson
Citations:136 - 4 self

Documents Related by Co-Citation

1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
300 Natural semantics – G. Kahn - 1987
74 The semantics of programming languages: an elementary introduction using structural operational semantics – Matthew Hennessy - 1990
54 Formal syntax and semantics of programming languages – K Slonneger, B L Kurtz - 1995
127 Operational and algebraic semantics of concurrent processes – R Milner - 1990
3219 Communication and Concurrency – R Milner - 1990
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
12 A modular SOS for Action Notation (extended abstract – P D Mosses - 1999
16 Inductive and operational semantics – E Astesiano - 1991
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
39 Enhanced Operational Semantics – Pierpaolo Degano, Corrado Priami - 1996
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
217 CML: A higher-order concurrent language – J Reppy - 1991
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
126 Higher-order Concurrency – John Hamilton Reppy - 1992
30 Theory and Practice of Action Semantics – Peter D. Mosses, Peter D. Mosses - 1996
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992