Adaptable Traces for Program Explanations

DOI10.1007/978-3-030-89051-3_12MaRDI QIDQ6488155zbMATH OpenFDO

Authors Martin Erwig

Publication date 29 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-89051-3_12

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Functional programs that explain their work
• Source-Based Trace Exploration
• Structure and properties of traces for functional programs
• A Program Transformation for Tracing Functional Logic Computations
• Opium: an extendable trace analyzer for Prolog

Cites work

• scientific article; zbMATH DE number 5136283 (Why is no real title available?)
• A core calculus for provenance
• Building program optimizers with rewriting strategies
• Explainable dynamic programming
• Functional programs that explain their work

Cited in

(2)

• Source-Based Trace Exploration
• Context-sensitive meta-constraint systems for explainable program analysis

This page was built for publication: Adaptable Traces for Program Explanations

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