Termination of Narrowing in Left-Linear Constructor Systems

DOI10.1007/978-3-540-78969-7_10zbMath1137.68420OpenAlexW4235424726MaRDI QIDQ5458432

Germán Vidal

Publication date: 11 April 2008

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_10

Mathematics Subject Classification ID

Related Items (4)

Relative termination via dependency pairs ⋮ Reducing Relative Termination to Dependency Pair Problems ⋮ Termination of narrowing via termination of rewriting ⋮ Termination of Narrowing in Left-Linear Constructor Systems

Uses Software

• BABEL
• AProVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
• Mechanizing and improving dependency pairs
• Termination of rewriting
• Foundations of equational logic programming
• Termination of term rewriting using dependency pairs
• Type-level Computation Using Narrowing in Ωmega
• Extra Variables Can Be Eliminated from Functional Logic Programs
• Fast narrowing-driven partial evaluation for inductively sequential programs
• A needed narrowing strategy
• Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
• Automated Termination Analysis for Logic Programs by Term Rewriting
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• The integration of functions into logic programming: From theory to practice
• Functional Logic Programming: From Theory to Curry
• Narrowing directed by a graph of terms
• Lazy narrowing in a graph machine
• Symbolic Model Checking of Infinite-State Systems Using Narrowing
• Overlapping Rules and Logic Variables in Functional Logic Programs
• Termination of Narrowing in Left-Linear Constructor Systems
• The narrowing-driven approach to functional logic program specialization

This page was built for publication: Termination of Narrowing in Left-Linear Constructor Systems