Run-Time Profiling of Functional Logic Programs

DOI10.1007/11506676_12zbMATH Open1134.68329OpenAlexW1572129992MaRDI QIDQ5458802FDOQ5458802

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

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Operational semantics for declarative multi-paradigm languages
• A framework for interpreting traces of functional logic computations
• Functional Logic Programming: From Theory to Curry

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)