Multi-paradigm Declarative Languages

by Michael Hanus

International Conference on Logic Programming (ICLP 2007), Springer LNCS 4670, pp. 45-75, 2007
© Springer-Verlag

Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative languages, like functional, logic, or constraint programming languages. This paper surveys approaches to combine these different classes into a single programming language.

PDF (298 KB) BibTeX-Entry Online