The following pages link to BABEL (Q15552):
Displaying 50 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)
- An evaluation semantics for narrowing-based functional logic languages (Q2726287) (← links)
- (Q2729761) (← links)
- (Q2736363) (← links)
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency (Q2743695) (← links)
- (Q2763636) (← links)
- (Q2766777) (← links)
- (Q2766794) (← links)
- Declarative debugging of functional logic programs (Q2841221) (← links)
- A debugging scheme for functional logic programs (Q2841284) (← links)
- Improving the efficiency of non-deterministic computations (Q2841287) (← links)
- A safe relational calculus for functional logic deductive databases (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)
- (Q3490935) (← links)
- Transformation and Debugging of Functional Logic Programs (Q3578400) (← links)
- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (Q3591075) (← links)
- (Q3836513) (← links)
- (Q3838765) (← links)
- (Q3998025) (← links)
- (Q4038667) (← links)
- (Q4217931) (← links)
- (Q4259969) (← links)
- (Q4281581) (← links)
- (Q4281597) (← links)
- (Q4281598) (← links)
- (Q4283239) (← links)
- (Q4287469) (← links)
- The integration of functions into logic programming: From theory to practice (Q4305632) (← links)
