Semantics with Applications: A Formal Introduction (1992)

Cached

Download Links

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

Active Bibliography

11 Programming Language Semantics – David A. Schmidt - 1995
3 Semantics-Directed Program Analysis: a Tool-Maker's Perspective – Flemming Nielson - 1996
59 From operational semantics to abstract machines – John Hannan, Dale Miller - 1992
Centrum voor Wiskunde en Informatica – Reportrapport Formal Specification, E. P. B. M. Rutten, E. P. B. M. Rutten, F. Arbab, F. Arbab, I. Herman, I. Herman - 1992
3 Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs – Franck Van Breugel, Franck Van Breugel - 1993
Structured Operational Semantics and . . . – Jan Frisco Groote, et al. - 1992
9 A Modular SOS for ML Concurrency Primitives – Peter D. Mosses - 1999
1 Modular Operational Semantic Specification of Transport Triggered Architectures – Jon Mountjoy, Pieter Hartel, Henk Corporaal - 1997
17 Foundations of Modular SOS (Extended Abstract) – Peter D. Mosses - 1999
7 Operational Semantics of Process-oriented Simulation Languages. Part II: µDemos – Graham Birtwistle, Chris Tofts - 1994
27 Foundations of Modular SOS – Peter D. Mosses - 1999
4 SOS Rule Formats for Parameterized and State-Bearing Processes – Bard Bloom, Frits Vaandrager - 1995
10 PROBMELA: a modeling language for communicating probabilistic processes – Christel Baier, Frank Ciesinski, Marcus Größer - 2004
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
4 Modularity in structural operational semantics (Extended Abstract) – Peter D. Mosses - 1998
89 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994
1 Linguistic Support for Large-Scale Distributed Programming – Patrick Th. Eugster, Rachid Guerraoui, Patrick Th, Eugster Rachid, Guerraoui Christian, Christian H. Damm
1 Cps-Translation and the Correctness of Optimising Compilers – Geoffrey Burn, Daniel Le Métayer - 1992
1 Multi-Level Languages: a Descriptive Framework – Flemming Nielson, Hanne Riis Nielson - 1996