The following pages link to BABEL (Q15552):
Displaying 35 items.
- 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)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Cost-augmented partial evaluation of functional logic programs (Q1768472) (← links)
- A tight, practical integration of relations and functions. (Q1880433) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- (Q2726287) (← links)
- (Q2729761) (← links)
- (Q2736363) (← links)
- (Q2743695) (← links)
- (Q2763636) (← links)
- (Q2766777) (← links)
- (Q2766794) (← 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)
- A Proposal for Disequality Constraints in Curry (Q2873806) (← links)
- Similarity-Based Equality with Lazy Evaluation (Q3163977) (← links)
- Specialization of functional logic programs based on needed narrowing (Q3370571) (← links)
- (Q3372480) (← links)
- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages (Q3401933) (← links)
- Integration of declarative and constraint programming (Q3430666) (← links)
- Forward slicing of functional logic programs by partial evaluation (Q3430670) (← links)
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (Q3434630) (← links)
