A Program Transformation for Tracing Functional Logic Computations

DOI10.1007/978-3-540-71410-1_12MaRDI QIDQ3591083zbMATH OpenOpenAlexFDO

Authors Bernd Braßel, Sebastian Fischer, Frank Huch

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71410-1_12

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• A framework for interpreting traces of functional logic computations
• Dynamic slicing of lazy functional programs based on redex trails
• Structure and properties of traces for functional programs
• Transformation and debugging of functional logic programs
• A declarative debugging system for lazy functional logic programs

Cited in

(9)

• Reducing transformations for functional programs with assignment
• Dynamic slicing of lazy functional programs based on redex trails
• A Kripke logical relation for effect-based program transformations
• Structure and properties of traces for functional programs
• Reporting failures in functional logic programs
• A framework for interpreting traces of functional logic computations
• scientific article; zbMATH DE number 2000444 (Why is no real title available?)
• A Virtual Machine for Functional Logic Computations
• Adaptable Traces for Program Explanations

Describes a project that uses

Uses Software

• Hat
• Freja
• Hood
• TOY
• TeaBag

This page was built for publication: A Program Transformation for Tracing Functional Logic Computations

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