A syntactic correspondence between context-sensitive calculi and abstract machines
From MaRDI portal
Publication:879356
Recommendations
Cites work
- scientific article; zbMATH DE number 3821130 (Why is no real title available?)
- scientific article; zbMATH DE number 3986620 (Why is no real title available?)
- scientific article; zbMATH DE number 4048997 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 2038761 (Why is no real title available?)
- scientific article; zbMATH DE number 1538023 (Why is no real title available?)
- A Rational Deconstruction of Landin’s J Operator
- A Rational Deconstruction of Landin’s SECD Machine
- A functional correspondence between call-by-need evaluators and lazy abstract machines
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
- A generalization of jumps and labels
- A syntactic correspondence between context-sensitive calculi and abstract machines
- A syntactic theory of dynamic binding
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- An abstract framework for environment machines
- An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus
- An environment machine for the λμ-calculus
- An introduction to Landin's ``A generalization of jumps and labels
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Computer Science Logic
- Confluence properties of weak and strong calculi of explicit substitutions
- Continuations revisited
- Continuations: A mathematical semantics for handling full jumps
- Definitional interpreters for higher-order programming languages
- Definitional interpreters revisited
- Deriving a lazy abstract machine
- Explicit substitutions
- From reduction-based to reduction-free normalization
- Functional runtime systems within the lambda-sigma calculus
- Fundamental concepts in programming languages
- Implementation strategies for first-class continuations
- Logic Based Program Synthesis and Transformation
- Making a fast Curry: push/enter vs. eval/apply for higher-order languages
- On the static and dynamic extents of delimited continuations
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Representing Control: a Study of the CPS Transformation
- Scheme: A interpreter for extended lambda calculus
- THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
- The Mechanical Evaluation of Expressions
- The first report on scheme revisited
- Trampolined style
Cited in
(18)- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
- A call-by-name lambda-calculus machine
- A functional correspondence between call-by-need evaluators and lazy abstract machines
- Inter-deriving Semantic Artifacts for Object-Oriented Programming
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
- From reduction-based to reduction-free normalization
- Deriving an abstract machine for strong call by need
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
- From outermost reduction semantics to abstract machine
- Automating the functional correspondence between higher-order evaluators and abstract machines
- A syntactic correspondence between context-sensitive calculi and abstract machines
- A static simulation of dynamic delimited control
- A context-based approach to proving termination of evaluation
- On one-pass CPS transformations
- Refunctionalization at work
- scientific article; zbMATH DE number 7204429 (Why is no real title available?)
- On graph rewriting, reduction, and evaluation in the presence of cycles
- Inter-deriving semantic artifacts for object-oriented programming
This page was built for publication: A syntactic correspondence between context-sensitive calculi and abstract machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879356)
