Constraints as Control

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates constraint and imperative programming by using constraints as an advanced control structure; the developers use the monadic 'for' construct to iterate over the solutions of constraints or branch on the existence of a solution. The constructs we introduce have simple semantics that can be understood as explicit enumeration of values, but are implemented more efficiently using symbolic reasoning.


Published in:
Acm Sigplan Notices (POPL), 47, 151-164
Year:
2012
Keywords:
Laboratories:




 Record created 2012-03-22, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)