Disjunctive constraint lambda calculi

Authors:
Matthias M. Hölzl;John N. Crossley
Affiliations:
Institut für Informatik. LMU, Munich, Germany;Faculty of Information Technology, Monash University, Australia
Venue:
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Year:
2005

Citing 9
Cited 0

Foundations of logic programming

Foundations of logic programming
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Topology

Handbook of logic in computer science (vol. 1)
A confluent calculus for concurrent constraint programming

Theoretical Computer Science - Special issue: principles and practice of constraint programming
From Logic to Logic Programming

From Logic to Logic Programming
The Disjunctive Constrained Lambda Calculus

Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Constraint-Lambda Calculi

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
An Overview of HAL

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
A concurrent lambda calculus with futures

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no more than one solution to a set of constraints. We now introduce two forms of Constraint Lambda Calculi which allow for multiple constraint solutions. Moreover the language also permits the use of disjunctions between constraints rather than just conjunction. These calculi are the Unrestricted, and the Restricted, Disjunctive Constraint-Lambda Calculi. We establish a limited form of confluence for the unrestricted calculus and a stronger form for the restricted one. We also discuss the denotational semantics of our calculi and some implementation issues.