Adapting combinator and SECD machines to display snapshots of functional computations

DOI10.1007/BF03037389zbMath0603.68003OpenAlexW2058042998MaRDI QIDQ1082792

Colin Runciman, Ian Toyn

Publication date: 1986

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037389

zbMATH Keywords

snapshotslazy evaluationfunctional programscombinator reductiondebugging tools

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Adapting combinator and SECD machines to display snapshots of functional computations

Uses Software

• Miranda

Cites Work

• Adapting combinator and SECD machines to display snapshots of functional computations
• Yacc in sasl — an exercise in functional programming
• A new implementation technique for applicative languages
• The next 700 programming languages
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Adapting combinator and SECD machines to display snapshots of functional computations