Programming with narrowing: a tutorial

DOI10.1016/j.jsc.2010.01.006zbMath1192.68135OpenAlexW2135378214MaRDI QIDQ968524

Sergio Antoy

Publication date: 5 May 2010

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.01.006

zbMATH Keywords

program designnarrowingfunctional logic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

Transforming Boolean equalities into constraints ⋮ Compiling a Functional Logic Language: The Fair Scheme ⋮ Semi-inversion of Conditional Constructor Term Rewriting Systems ⋮ Unnamed Item ⋮ Functional Logic Programming in Maude ⋮ Compiling Collapsing Rules in Certain Constructor Systems

Uses Software

• ML
• BABEL
• Curry
• Kernel-LEAF
• EasyCheck
• TOY
• PAKCS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Computing in systems described by equations
• Evaluation strategies for functional logic programming
• Kernel-LEAF: A logic plus functional language
• Type-level Computation Using Narrowing in Ωmega
• Specialization of functional logic programs based on needed narrowing
• A needed narrowing strategy
• Inductively Sequential Term-Graph Rewrite Systems
• Multi-paradigm Declarative Languages
• Logic programming with functions and predicates: The language Babel
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• The integration of functions into logic programming: From theory to practice
• An approach to declarative programming based on a rewriting logic
• Handbook of Graph Grammars and Computing by Graph Transformation
• Implementing functional logic languages using multiple threads and stores
• Declarative Programming with Function Patterns
• Declaring Numbers
• A Virtual Machine for Functional Logic Computations
• Overlapping Rules and Logic Variables in Functional Logic Programs
• A Machine-Oriented Logic Based on the Resolution Principle
• Program development by stepwise refinement

This page was built for publication: Programming with narrowing: a tutorial