A Program Transformation for Tracing Functional Logic Computations

DOI10.1007/978-3-540-71410-1_12zbMath1196.68038OpenAlexW1548372360MaRDI QIDQ3591083

Frank Huch, Sebastian Fischer, Bernd Braßel

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

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

Related Items (2)

Reporting Failures in Functional Logic Programs ⋮ A Framework for Interpreting Traces of Functional Logic Computations

Uses Software

• TeaBag
• TOY
• Freja
• Hat
• Hood

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