scientific article; zbMATH DE number 7438155

zbMath1476.68117arXiv1505.07162MaRDI QIDQ5013811

Steven Libby, Jacob Johannsen, Sergio Antoy

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1505.07162

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Curry

Cites Work

• Unnamed Item
• Unnamed Item
• Strongly sequential and inductively sequential term rewriting systems
• Deforestation: Transforming programs to eliminate trees
• Programming with narrowing: a tutorial
• Computing in systems described by equations
• Evaluation strategies for functional logic programming
• Lazy Context Cloning for Non-Deterministic Graph Rewriting
• On the correctness of pull-tabbing
• The integration of functions into logic programming: From theory to practice
• An approach to declarative programming based on a rewriting logic
• Functional Logic Programming: From Theory to Curry
• Rewriting and narrowing for constructor systems with call-time choice semantics
• Overlapping Rules and Logic Variables in Functional Logic Programs
• Normalization by leftmost innermost rewriting

This page was built for publication: