Proof-directed debugging

DOI10.1017/S0956796899003378MaRDI QIDQ4943360zbMATH OpenFDO

Authors Robert Harper

Publication date 16 March 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796899003378

zbMATH Keywords

functional programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
• Abstract diagnosis of functional programs
• Proof-directed program transformation: a functional account of efficient regular expression matching
• A debugging scheme for functional logic programs
• Declarative debugging of functional logic programs

Cited in

(9)

• Adapting functional programs to higher order logic
• Logical debugging
• A formalisation of the Myhill-Nerode theorem based on regular expressions
• Enhancing theorem prover interfaces with program slice information
• EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
• scientific article; zbMATH DE number 5706177 (Why is no real title available?)
• Proof-directed program transformation: a functional account of efficient regular expression matching
• Combining predicate transformer semantics for effects: a case study in parsing regular languages
• Refunctionalization at work

This page was built for publication: Proof-directed debugging

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943360)