From Stack Traces to Lazy Rewriting Sequences

DOI10.1007/978-3-642-34407-7_7zbMath1348.68031OpenAlexW141984127MaRDI QIDQ2830049

Stephen F. Chang, Matthias Felleisen, Eli Barzilay, John C. Clements

Publication date: 9 November 2016

Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-34407-7_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• PLT Redex

This page was built for publication: From Stack Traces to Lazy Rewriting Sequences