Introduction to AsmGofeer (2001)

Cached

Download Links

by Joachim Schmid
Citations:1 - 0 self

Documents Related by Co-Citation

1 Formalisms and tools supporting Constructive Action Semantics – Jørgen Iversen, Copyright C, Jørgen Iversen, Jørgen Iversen - 2005
1 Language anatomy – S Cook, S Kent - 2004
1 An action compiler targeting Standard ML – J Iversen - 2005
1 Modeling Language Specification, v1.5 edition – Unified - 2001
17 Foundations of Modular SOS (Extended Abstract) – Peter D. Mosses - 1999
12 A modular SOS for Action Notation (extended abstract – P D Mosses - 1999
171 Semantics of Programming Languages – R D Tennent - 1991
41 An Operational Semantics for Stateflow – Gregoire Hamon, John Rushby - 2004
163 An abstract view of programming languages – E Moggi - 1989
74 The semantics of programming languages: an elementary introduction using structural operational semantics – Matthew Hennessy - 1990
58 Programming Language Syntax and Semantics – D A Watt - 1991
128 toward a mathematical semantics for computer languages – Dana Scott, Christopher Strachey
72 An axiomatic definition of the programming language Pascal. Acta lnformatica 2 – C A R Hoare, N Wirth - 1973
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
3200 Communication and Concurrency – R Milner - 1989
142 Concurrent Programming in ML – John H Reppy - 1999
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
403 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995