Martin Grabmüller: Constraint Imperative Programming with Higher-order Functions, Draft paper, July 2003.
In constraint programming, programs are written by mainly specifying the properties which must hold for a solution of a given problem. In contrast, imperative programming languages require that the programmer explicitly specifies each state transition a program must perform in order to calculate the solution. This paper describes a programming style which consists of these both views as well as on higher-order functional programming.
This paper was written for the Second International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL'03, but not submitted.
This article is available electronically: [ PDF ]
@Unpublished{Grabmueller2003CIPwithHOF,
author = {Martin Grabm{\"u}ller},
title = {{Constraint Imperative Programming with Higher-order
Functions}},
note = {Draft paper},
month = {July},
year = {2003},
abstract = {In constraint programming, programs are written by mainly
specifying the properties which must hold for a solution of
a given problem. In contrast, imperative programming
languages require that the programmer explicitly specifies
each state transition a program must perform in order to
calculate the solution. This paper describes a programming
style which consists of these both views as well as on
higher-order functional programming.}
}