What it is
with Declarative Programming)
- International Conference on Principles and Practice of
- PPDP03: http://www.it.uu.se/ppdp03/
TOPICS (Not exhaustive): Logic, Functional, and Constraint
Programming; Object-Oriented Programming; Concurrent Extensions;
Mobile Computing; Integration of Paradigms; Proof Theoretic and
Semantic Foundations; Program Design and Development; Type and Module
Systems; Program Analysis and Verification; Program Transformation;
Abstract Machines and Compilation; Programming Environments; and
Application of Declarative Programming
- Sixth International Symposium on Practical Aspects of Declarative
- International Symposium on Functional and Logic Programming
* Declarative Pearls: new and excellent declarative programs
with illustrative applications
* Language issues: language design and constructs,
programming methodology, integration of paradigms,
interfacing with other languages, type systems, constraints,
concurrency and distributed computing
- INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
- Special track on CONSTRAINT SOLVING AND PROGRAMMING
at The 17th International FLAIRS Conference (FLAIRS-04) on
- Workshop on
MULTIPARADIGM PROGRAMMING WITH OO LANGUAGES (MPOOL'03)
at the Conference on OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES,
AND APPLICATIONS (OOPSLA'03)
John Darlington, Roland Dietrich (Eds.): Declarative Programming,
Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative
Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991.
Springer 1992, ISBN 3-540-19735-4
Some introductory lecture notes about
declarative programming in general.
Foundations of Declarative Programming, Functional
Programming, Logic programming
- Olof Torgersson.
A Note on Declarative Programming Paradigms and the Future of
Torgersson discusses (critically) some approaches to declarative
programming including functional programming, various logic programming
languages and extensions, and definitional programming; he also tries to
find directions for future research into definitional programming.
- Michael Hanus.
Integration of Declarative Paradigms.
An integration of the two main declarative paradigms (namely,
functional and logic) would have positive effects on teaching, research,
applications. However many issues have to be carried out to perform such
- Michael Hanus.
of Functions into Logic Programming: from Theory to Practice.
A thorough survey on the integration of functional and declarative
languages, from the point of view of admitting a general notion of
equality in logic programming.
- J. W. Lloyd.
Advantages of Declarative Programming.
What does "declarative" really mean? What are the practical advantages
of this kind of programming? Is it possible to merge functional and
logic programming? How seriously is "declarativeness" actually taken by
researchers in declarative programming? These are the questions Lloyd
tries to answer.
- J. W. Lloyd.
Functional and Logic Programming Languages.
Functional programming and logic programming are the two main instances
of declarative programming, and various attempts have been made to merge
them together; Lloyd outlines a proposal for a combined functional &
logic programming language.
- Lawrence C. Paulson, Andrew W. Smith.
Programming, Functional Programming, and Inductive Definitions.
According to Paulson & Smith, declarative programmers can be split
into "realists" and "purists". Here logic programs are considered as
inductive definitions rather than first order theories; an extended
logic language with functions is described and implemented.
- D. Shulman (Dexter University).
Functional and Declarative Programming Languages.
In spite of their advantages, declarative languages are not that
popular in real world industrial environments. Shulman explains why.
Advanced Topics and Applications
- Jens Peter Secher, Morten Heine Sorensen (University of
Lectures on Transformation of Declarative Programs (Draft).
A text devoted to optimization of purely declarative programs.
- Tom Hawkins (EEDesign.com).
Declarative Programming Language Simplifies Hardware Design.
Declarative programming is introduced from a hardware perspective.
Through a practical example Hawkins illustrates techniques that add new
dimensions to abstraction and design reuse, and hence, minimize source
code. Good for those who have a way with FIR filters and things like
- Roy Furman (Scientific Software Tools).
Declarative Strategies for Solving Software Problems.
Lowering the costs to develop new software solutions or extending the
lifetime of software applications are two complementary approaches to
addressing technological change. These goals can often be met by taking
a declarative strategy when designing software systems independent of
the programming methodology employed. Scientific Software Tools presents
two examples of commercial software using declarative strategies.
- Johan Brichau, Kim Mens.
Brichau's and Mens's research on declarative meta-programming (DMP)
investigates how this technique can be used to build state-of-the-art
software development support tools that help overcome problems in
It would be great to effectively
integrate the declarative paradigm with the object-oriented and
imperative ones; various approaches have been followed in this sense.
Specific declarative programming languages (some ...)
The Alma Project
The 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.
Singleton is a set-based declarative language that combines
valuable features of constraint programming (nondeterminism,
unification, constraint solving, dynamic data structures) with familiar
features of conventional programming languages (procedures and parameter
passing, deterministic control structures, iterative constructs).
based on Oz: http://www.info.ucl.ac.be/people/PVR/book.html
a brief overview - http://web.media.mit.edu/~tpminka/PLE/haskell/haskell.html
Declarative Programming in Escher (paper)