Semantics with Applications: A Formal Introduction (1992)

Cached

Download Links

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

Documents Related by Co-Citation

1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
299 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 – A Laboratory Based Approach – K Slonneger, B L Kurtz - 1995
123 Operational and algebraic semantics of concurrent processes – R Milner - 1990
1868 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
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
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
125 Higher-order Concurrency – John Hamilton Reppy - 1992
31 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
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
30 Theory and Practice of Action Semantics – Peter D. Mosses, Peter D. Mosses - 1996