A Generic Semantics for Constraint Functional Logic Programming

Abstract

We propose an operational semantics for lazy constraint functional programs that is generic in the sense of allowing the integration of different constraint solvers into an existing kernel language in a rather clean way. The design of the semantics has been driven by two principles often contradicting each other: the need to support laziness in the… (More)

Topics

1 Figure or Table

Slides referencing similar topics