Improving the Efficiency of Non-Deterministic Computations

Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that improves the time and memory efficiency of some non-deter

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Sergio Antoy, Pascual Julián Iranzo, Bart Massey
• Keywords: Computationally Expensive, ENTCS 2002, Functional Logic Programs, Non-deterministic Computations