Publication:4364366
From MaRDI portal
zbMath0886.68034MaRDI QIDQ4364366
Publication date: 17 November 1997
Related Items
Default rules for Curry, Functional Logic Programming: From Theory to Curry, Termination of Narrowing in Left-Linear Constructor Systems, Compiling Collapsing Rules in Certain Constructor Systems, Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424., Programming with narrowing: a tutorial, Termination of narrowing via termination of rewriting, Evaluation strategies for functional logic programming, Evaluation Strategies for Functional Logic Programming, Reduction Strategies for Declarative Programming, Semantic Determinism and Functional Logic Program Properties, Lazy Context Cloning for Non-Deterministic Graph Rewriting, Compiling a Functional Logic Language: The Fair Scheme, A Fully Abstract Semantics for Constructor Systems