Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Constraints as Control
 
Loading...
Thumbnail Image
research article

Constraints as Control

Koeksal, Ali Sinan
•
Kuncak, Viktor  
•
Suter, Philippe  
2012
Acm Sigplan Notices (POPL)

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.

  • Details
  • Metrics
Type
research article
DOI
10.1145/2103621.2103675
Web of Science ID

WOS:000300548100012

Author(s)
Koeksal, Ali Sinan
•
Kuncak, Viktor  
•
Suter, Philippe  
Date Issued

2012

Published in
Acm Sigplan Notices (POPL)
Volume

47

Start page

151

End page

164

Subjects

Design

•

Languages

•

Constraint Programming

•

Satisfiability Modulo Theories

•

Executable Specifications

•

Scala

•

Embedded Domain-Specific Languages

•

Non-determinism

•

Alloy

Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LARA  
Available on Infoscience
March 22, 2012
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/78971
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés