A Program Transformation for Tracing Functional Logic Computations

DOI10.1007/978-3-540-71410-1_12zbMATH Open1196.68038OpenAlexW1548372360MaRDI QIDQ3591083FDOQ3591083

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

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

Mathematics Subject Classification ID

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

Cited In (9)

• Reducing transformations for functional programs with assignment
• A Kripke logical relation for effect-based program transformations
• Adaptable Traces for Program Explanations
• Title not available (Why is that?)
• Dynamic slicing of lazy functional programs based on redex trails
• Structure and properties of traces for functional programs
• A framework for interpreting traces of functional logic computations
• Reporting failures in functional logic programs
• A Virtual Machine for Functional Logic Computations

Uses Software

• TeaBag
• TOY
• Freja
• Hat
• Hood

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)