A Framework for Interpreting Traces of Functional Logic Computations
From MaRDI portal
Publication:2873790
DOI10.1016/j.entcs.2007.01.006zbMath1279.68037OpenAlexW2114956563MaRDI QIDQ2873790
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
Uses Software
Cites Work
- Operational semantics for declarative multi-paradigm languages
- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
- A Program Transformation for Tracing Functional Logic Computations
- An approach to declarative programming based on a rewriting logic
- Functional and Logic Programming
- A Virtual Machine for Functional Logic Computations
- Run-Time Profiling of Functional Logic Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item