On graph rewriting, reduction, and evaluation in the presence of cycles

DOI10.1007/s10990-014-9103-9zbMath1425.68175OpenAlexW2038249060MaRDI QIDQ526460

Ian Zerny

Publication date: 15 May 2017

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-014-9103-9

zbMATH Keywords

refocusingcontinuation-passing styledefunctionalizationgraph reductionreduction machineterm-graph rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Coq
• ML
• DACTL
• PLT Redex

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
• Properties of a first-order functional language with sharing
• Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
• A syntactic correspondence between context-sensitive calculi and abstract machines
• Refunctionalization at work
• On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
• Inter-deriving semantic artifacts for object-oriented programming
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Comparing parallel functional languages: Programming and performance
• A linear space translation of functional programs to Turner combinators
• Combinatory logic. Vol. II
• Three Syntactic Theories for Combinatory Graph Reduction
• Lightweight fusion by fixed point promotion
• A Rational Deconstruction of Landin's SECD Machine with the J Operator
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• From Reduction-Based to Reduction-Free Normalization
• A new implementation technique for applicative languages
• The Zipper
• The Mechanical Evaluation of Expressions

This page was built for publication: On graph rewriting, reduction, and evaluation in the presence of cycles