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
27 Foundations of Modular SOS – Peter D. Mosses - 1999
34 Action Semantics. Number 26 – P D Mosses - 1992
171 Semantics of Programming Languages – R D Tennent - 1991
46 Revised^3 Report on the Algorithmic Language Scheme – Jonathan Rees, (ed.), William Clinger, William Clinger (editors, Hal Abelson, H. Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo J. Rozas, Daniel P. Friedman, N. I. Adams IV, Iv D. P. Friedman, Eugene Kohlbecker, Gerald J. Sussman, D. H. Bartley, R. Halstead, D. Oxley, Mitchell Wand, G. Brooks, Chris Hanson, Kent M. Pitman - 1991
41 An Operational Semantics for Stateflow – Gregoire Hamon, John Rushby - 2004
163 An abstract view of programming languages – E Moggi - 1989
17 E.: Java and the Java Virtual Machine – R Stärk, J Schmid, Börger - 2001
66 Draft of the ASM Guide – Y Gurevich - 1997
136 Semantics with Applications: A Formal Introduction – Hanne Riis Nielson, Flemming Nielson - 1992
300 Natural semantics – G. Kahn - 1987
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
74 The semantics of programming languages: an elementary introduction using structural operational semantics – Matthew Hennessy - 1990
55 Modular structural operational semantics – Peter D. Mosses - 2004