scientific article; zbMATH DE number 1088020

zbMATH Open0886.68034MaRDI QIDQ4364366FDOQ4364366

Authors: Sergio Antoy 

Publication date: 17 November 1997

Title of this publication is not available (Why is that?)

Recommendations

• Evaluation strategies for functional logic programming
• Evaluation strategies for functional logic programming
• scientific article; zbMATH DE number 1942455
• scientific article; zbMATH DE number 2040977
• Dynamic detection of determinism in functional logic languages

zbMATH Keywords

rewrite systems

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Cited In (23)

• Termination of Narrowing in Left-Linear Constructor Systems
• Improving the efficiency of non-deterministic computations
• Programming with narrowing: a tutorial
• Title not available (Why is that?)
• Nondeterministic functions and the existence of optimal proof systems
• Termination of narrowing via termination of rewriting
• Title not available (Why is that?)
• Reduction strategies for declarative programming
• From Logic to Functional Logic Programs
• Evaluation strategies for functional logic programming
• A Fully Abstract Semantics for Constructor Systems
• Rewriting and Call-Time Choice: The HO Case
• Compiling Collapsing Rules in Certain Constructor Systems
• Logic Programming
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• Evaluation strategies for functional logic programming
• Compiling a Functional Logic Language: The Fair Scheme
• Functional Logic Programming: From Theory to Curry
• Semantic determinism and functional logic program properties
• Lazy context cloning for non-deterministic graph rewriting
• Title not available (Why is that?)
• Default rules for Curry
• Optimization by non-deterministic, lazy rewriting

This page was built for publication:

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