Declarative Compilation for Constraint Logic Programming

DOI10.1007/978-3-319-17822-6_17zbMath1353.68036OpenAlexW779401929MaRDI QIDQ2949715

James Lipton, Emilio Jesús Gallego Arias, Julio Mariño

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://www.springer.com/us/book/9783319178219

zbMATH Keywords

relation algebrarewritingsemanticslogic programmingconstraint programming

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Constraint logic programming with a relational machine

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the algebraic structure of declarative programming languages
• C-expressions: A variable-free calculus for equational logic programming
• A new framework for declarative programming
• A theory of observables for logic programs
• Nominal unification
• Uniform proofs as a foundation for logic programming
• First-order unification using variable-free relational algebra
• Coalgebraic Derivations in Logic Programming
• Logic Programming
• Logic Programming in Tabular Allegories

This page was built for publication: Declarative Compilation for Constraint Logic Programming