Searching for "An operational semantics for Scheme." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
M-LISP: A Representation-Independent Dialect of LISP with Reduction Semantics
- … and Scheme. Next, we tie the operational semantics to the corresponding equational logic. As usual, provable…
- Cited by 21 (2 self) – Add To MetaCart
-
The case of lambda expressions (Rule 17) shows how memory allocation is handled.
- … /)hnull i 7 Conclusion An operational semantics of Scheme has been defined by describing an abstract…
- Add To MetaCart
-
Unreliable Failure Detectors
- … ′ ⊢ N ′ Table 1. Uniform “Abstract” Operational Semantics Scheme The work of Chandra and Toueg…
- Add To MetaCart
-
Flexible And Practical Flow Analysis for Higher-Order Programming Languages
- … An operational semantics for Scheme 21 3.1 Core Scheme ................................... 22 3.2 Normalizing…
- Cited by 3 (0 self) – Add To MetaCart
-
A Meta Constraint Logic Programming Scheme
- … 1 Introduction 3 2 Meta CLP General Scheme 4 3 Operational Semantics 6 4 Consistency Algorithms 12 5…
- Add To MetaCart
-
Visualizing Evaluation in Scheme
- …. Visualcode is derived from the operational semantics of Scheme as presented in Figure 1. The notation [e ρ…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 6.
