Run-Time Profiling of Functional Logic Programs

DOI10.1007/11506676_12MaRDI QIDQ5458802zbMATH OpenOpenAlexFDO

Authors Bernd Braßel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal

Publication date 24 April 2008

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

Full work available at URL https://doi.org/10.1007/11506676_12

Mathematics Subject Classification ID

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

Recommendations

• Lexical profiling: theory and practice
• Type-based cost analysis for lazy functional languages
• scientific article; zbMATH DE number 2090121
• Profiling large-scale lazy functional programs
• Space profiling for parallel functional programs

Cited in

(8)

• Operational semantics for declarative multi-paradigm languages
• A framework for interpreting traces of functional logic computations
• Space profiling for parallel functional programs
• Profiling large-scale lazy functional programs
• Lexical profiling: theory and practice
• Functional Logic Programming: From Theory to Curry
• Space profiling for parallel functional programs
• Profiling for laziness

Describes a project that uses

Uses Software

• TOY

This page was built for publication: Run-Time Profiling of Functional Logic Programs

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