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

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

Documents Related by Co-Citation

2 Revisiting coroutines – A L D Moura, R Ierusalimschy
2 Bringing Scheme Programming to the iPhone — Experience – Engineer Bainomugisha, Jorge Vallejos, Elisa Gonzalez Boix, Pascal Costanza, Wolfgang De Meuter
2 Predicated generic functions: enabling context-dependent method dispatch – J Vallejos, S González, P Costanza, W De Meuter, T D’Hondt, K Mens - 2010
1 Interruptible Context-dependent Executions A Fresh Look at Programming Context-aware Applications – Engineer Bainomugisha, Jorge Vallejos, Coen De Roover, Andoni Lombide Carreton, Wolfgang De Meuter
34 Practical predicate dispatch – Todd Millstein - 2004
29 Concurrent Programming in Java. Second Edition. Design Principles and Patterns – Doug Lea - 2000
65 Language constructs for context-oriented programming – Pascal Costanza - 2005
1 The Objective Caml System. 3.10 edn. (2007) http://caml.inria.fr/ pub/docs/manual-ocaml/index.html – X Leroy
1 personal correspondence – R Harper - 2007
5 Studying the ML module system – Elsa Gunter, Savi Maharaj - 1995
25 The Machine-Assisted Proof of Programming Language Properties – M VanInwegen - 1996
12 Java Program Verification via a JVM Deep Embedding in ACL2 – Hanbing Liu, J Strother Moore - 2004
5 Operational reasoning for concurrent Caml programs and weak memory models – Tom Ridge - 2007
9 Stenning’s protocol implemented in UDP and verified in Isabelle – Michael Compton - 2005
19 Reasoning with the Formal Definition of Standard ML in HOL – Donald Syme - 1993
7 Advances in ObjectOriented Metalevel Architectures and Reflection. CRC Press. 54 Scheme and Functional Programming, 2009 Complete definition of the semantics This appendix includes the complete grammar of the language (Figure 15), the weaving function W ( – C Zimmermann - 1996
1 Supporting Composition of Structural Aspects in an AOP Kernel – Éric Tanter, Johan Fabry
1 Dynamic Join Points: Model and Interactions – C Dutchyn - 2006
1 Controlling aspect reentrancy – É Tanter - 2008