Constraint Imperative Programming with Higher-order Functions

Published on July, 2003

Information

Martin Grabmüller: Constraint Imperative Programming with Higher-order Functions, Draft paper, July 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.

This paper was written for the Second International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL’03, but not submitted.

Download

This article is available electronically: [ PDF ]

BibTeX Entry

@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.}
}