A framework for interpreting traces of functional logic computations

DOI10.1016/J.ENTCS.2007.01.006MaRDI QIDQ2873790zbMATH OpenOpenAlexFDO

Authors Bernd Braßel

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.01.006

zbMATH Keywords

debuggingfunctional logic programming

Mathematics Subject Classification ID

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

Recommendations

• A Program Transformation for Tracing Functional Logic Computations
• Declarative debugging of functional logic programs
• Theoretical foundations for the declarative debugging of lazy functional logic programs
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• A debugging scheme for functional logic programs

Cites work

• A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
• A Program Transformation for Tracing Functional Logic Computations
• A Virtual Machine for Functional Logic Computations
• An approach to declarative programming based on a rewriting logic
• Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs
• Functional and Logic Programming
• scientific article; zbMATH DE number 5007861 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1497845 (Why is no real title available?)
• Operational semantics for declarative multi-paradigm languages
• Run-Time Profiling of Functional Logic Programs

Cited in

(5)

• A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness
• A Program Transformation for Tracing Functional Logic Computations
• Feedback, trace and fixed-point semantics
• Programming Languages and Systems
• A Virtual Machine for Functional Logic Computations

Describes a project that uses

Uses Software

• Oz
• TOY
• TeaBag
• Hat
• PAKCS
• Freja
• Hood

This page was built for publication: A framework for interpreting traces of functional logic computations

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