BABEL
From MaRDI portal
Cited in
(88)- scientific article; zbMATH DE number 1950450 (Why is no real title available?)
- Integration of declarative and constraint programming
- Overlapping Rules and Logic Variables in Functional Logic Programs
- Termination of Narrowing in Left-Linear Constructor Systems
- Relating the implementation techniques of functional and functional logic languages
- scientific article; zbMATH DE number 512892 (Why is no real title available?)
- A new framework for declarative programming
- Improving the efficiency of non-deterministic computations
- Incremental constraint satisfaction for equational logic programming
- An evaluation semantics for narrowing-based functional logic languages
- scientific article; zbMATH DE number 1973220 (Why is no real title available?)
- The narrowing-driven approach to functional logic program specialization
- An approach to declarative programming based on a rewriting logic
- scientific article; zbMATH DE number 1638665 (Why is no real title available?)
- Programming with narrowing: a tutorial
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- scientific article; zbMATH DE number 1692896 (Why is no real title available?)
- Functional and Logic Programming
- Ensuring the quasi-termination of needed narrowing computations
- The integration of functions into logic programming: From theory to practice
- Analyses of unsatisfiability for equational logic programming
- Termination of narrowing via termination of rewriting
- Operational semantics for declarative multi-paradigm languages
- scientific article; zbMATH DE number 1375572 (Why is no real title available?)
- scientific article; zbMATH DE number 2048606 (Why is no real title available?)
- scientific article; zbMATH DE number 1407673 (Why is no real title available?)
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy
- scientific article; zbMATH DE number 1696605 (Why is no real title available?)
- scientific article; zbMATH DE number 1332642 (Why is no real title available?)
- Completeness results for basic narrowing
- scientific article; zbMATH DE number 2040977 (Why is no real title available?)
- Cost-augmented partial evaluation of functional logic programs
- An integrated framework for the diagnosis and correction of rule-based programs
- Towards the uniform implementation of declarative languages
- scientific article; zbMATH DE number 1630028 (Why is no real title available?)
- scientific article; zbMATH DE number 549952 (Why is no real title available?)
- scientific article; zbMATH DE number 826301 (Why is no real title available?)
- scientific article; zbMATH DE number 2032417 (Why is no real title available?)
- scientific article; zbMATH DE number 1189063 (Why is no real title available?)
- scientific article; zbMATH DE number 512881 (Why is no real title available?)
- scientific article; zbMATH DE number 512891 (Why is no real title available?)
- scientific article; zbMATH DE number 515736 (Why is no real title available?)
- Evaluation strategies for functional logic programming
- scientific article; zbMATH DE number 49223 (Why is no real title available?)
- PowerForms
- ObjectCurry
- ECCE
- Miranda
- Oz
- Hiord
- Mercury
- Curry
- Kima
- Kernel-LEAF
- Likelog
- TeaBag
- TOY
- TPA
- PAKCS
- FRIL
- DiSCiPl
- A tight, practical integration of relations and functions.
- Database query languages and functional logic programming
- scientific article; zbMATH DE number 1380895 (Why is no real title available?)
- Similarity-Based Equality with Lazy Evaluation
- Specialization of functional logic programs based on needed narrowing
- An universal resolving algorithm for inverse computation of lazy languages
- Higher-order narrowing with definitional trees
- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
- Transformation and debugging of functional logic programs
- Functional and Logic Programming
- A safe relational calculus for functional logic deductive databases
- Functional and Logic Programming
- An implementation of syntax directed functional programming on nested- stack machines
- Forward slicing of functional logic programs by partial evaluation
- Implementation of a UU-algorithm for primitive recursive tree functions
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- scientific article; zbMATH DE number 4164127 (Why is no real title available?)
- scientific article; zbMATH DE number 1696592 (Why is no real title available?)
- A debugging scheme for functional logic programs
- Functional Logic Programming: From Theory to Curry
- scientific article; zbMATH DE number 177789 (Why is no real title available?)
- Declarative debugging of functional logic programs
- scientific article; zbMATH DE number 1222408 (Why is no real title available?)
- scientific article; zbMATH DE number 5007860 (Why is no real title available?)
- A proposal for disequality constraints in Curry
- Dynamic detection of determinism in functional logic languages
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
This page was built for software: BABEL
