BABEL

swMATH3018MaRDI QIDQ15552

No author found.

Described by source

• Logic programming with functions and predicates: The language Babel

Related Items (71)

Completeness results for basic narrowing ⋮ A tight, practical integration of relations and functions. ⋮ Similarity-Based Equality with Lazy Evaluation ⋮ Unnamed Item ⋮ Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ Implementation of a UU-algorithm for primitive recursive tree functions ⋮ Ensuring the quasi-termination of needed narrowing computations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Unnamed Item ⋮ Database query languages and functional logic programming ⋮ Unnamed Item ⋮ 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 Valenciana under grant GV01-424. ⋮ Unnamed Item ⋮ 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. ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ The integration of functions into logic programming: From theory to practice ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A new framework for declarative programming ⋮ Analyses of unsatisfiability for equational logic programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Operational semantics for declarative multi-paradigm languages ⋮ Evaluation strategies for functional logic programming ⋮ Dynamic detection of determinism in functional logic languages ⋮ An implementation of syntax directed functional programming on nested- stack machines ⋮ Relating the implementation techniques of functional and functional logic languages ⋮ Functional Logic Programming: From Theory to Curry ⋮ Unnamed Item ⋮ Transformation and Debugging of Functional Logic Programs ⋮ Unnamed Item ⋮ Programming with narrowing: a tutorial ⋮ Towards the uniform implementation of declarative languages ⋮ Termination of narrowing via termination of rewriting ⋮ Cost-augmented partial evaluation of functional logic programs ⋮ Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The narrowing-driven approach to functional logic program specialization ⋮ Overlapping Rules and Logic Variables in Functional Logic Programs ⋮ Unnamed Item ⋮ Specialization of functional logic programs based on needed narrowing ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ An approach to declarative programming based on a rewriting logic ⋮ Unnamed Item ⋮ An Universal Resolving Algorithm for Inverse Computation of Lazy Languages ⋮ Functional and Logic Programming ⋮ Functional and Logic Programming ⋮ Functional and Logic Programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 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. ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy ⋮ Integration of declarative and constraint programming ⋮ Forward slicing of functional logic programs by partial evaluation ⋮ A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems ⋮ A Proposal for Disequality Constraints in Curry ⋮ Higher-order narrowing with definitional trees

This page was built for software: BABEL