Pages that link to "Item:Q3992229"
From MaRDI portal
The following pages link to Logic programming with functions and predicates: The language Babel (Q3992229):
Displaying 26 items.
- BABEL (Q15552) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Dynamic detection of determinism in functional logic languages (Q673493) (← links)
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Ensuring the quasi-termination of needed narrowing computations (Q845935) (← links)
- Database query languages and functional logic programming (Q867491) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. (Q2841221) (← links)
- A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenci (Q2841284) (← links)
- 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 Integrad (Q2841287) (← links)
- (Q2844062) (← links)
- Similarity-Based Equality with Lazy Evaluation (Q3163977) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Implementation of a UU-algorithm for primitive recursive tree functions (Q5055894) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
