R.B.: An operational semantics for Scheme (2007)

by Jacob Matthews , Robert Bruce Findler
Venue:Journal of Functional Programming
Citations:4 - 0 self

Active Bibliography

doi:10.1017/S0956796807006478 1 An operational semantics for Scheme 1 – Jacob Matthews, Robert Bruce Findler
THE UNIVERSITY OF CHICAGO OPERATIONAL SEMANTICS FOR SCHEME VIA TERM REWRITING A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF – Jacob Matthews
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
10 Reasoning about class behavior – Vasileios Koutavas - 2007
4 Future Contracts – Christos Dimoulas, Riccardo Pucella, Matthias Felleisen - 2009
7 Behavioral Software Contracts – Robert Bruce Findler - 2002
115 Contracts for Higher-Order Functions – Robert Bruce Findler, Matthias Felleisen - 2002
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
33 Operational Semantics for Multi-Language Programs – Jacob Matthews, et al. - 2007
2 Abstract A Complete Guide to the Future – Frank S. Boer, Dave Clarke
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
1 Experience with Randomized Testing in Programming Language Metatheory – Casey Klein - 2009
1 Revised Report on the Algorithmic Language Scheme – Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Robby Findler, Jacob Matthews - 2009
3 An Equivalence-Preserving CPS Translation via Multi-Language Semantics (Technical Appendix) – Amal Ahmed, Matthias Blume
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
3 A Rewriting Logic Approach to Type Inference ⋆ – Chucky Ellison, Traian Florin S, Grigore Ros
Software ENgineering Minimal ownership for active objects – D. G. Clarke, T. Wrigstad, J. Östlund, E. B. Johnsen