Reporting Failures in Functional Logic Programs
From MaRDI portal
Publication:2873788
DOI10.1016/j.entcs.2007.01.002zbMath1279.68048OpenAlexW2064331169MaRDI QIDQ2873788
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.002
Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Logic programming (68N17)
Uses Software
Cites Work
- Operational semantics for declarative multi-paradigm languages
- A needed narrowing strategy
- A Program Transformation for Tracing Functional Logic Computations
- The integration of functions into logic programming: From theory to practice
- A Virtual Machine for Functional Logic Computations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item