Towards an Imperative Constraint Programming Language

Project code: ALMA
Research group: Algorithms, Combinatorics and Optimization (PNA1)

Coordinator of this project: Krzysztof Apt.

Alma project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.
At this stage the first layer, Alma-0, is available. Alma-0 extends a subset of Modula-2 by features that facilitate writing programs that involve search.


Krzysztof AptMarc Bezem, Jacob Brunekree,
Vincent Partington, Andrea Schaerf.