• From Wikipedia, the free encyclopedia.

• International Conference on Principles and Practice of Declarative Programming
• 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 Languages
• 2004 (PADL '04) http://www.cse.buffalo.edu/PADL04/
  

• International Symposium on Functional and Logic Programming
• FLOPS 2004: http://logic.is.tsukuba.ac.jp/FLOPS2004/
Topics:
* 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
• ICLP'03: http://www.tcs.tifr.res.in/~iclp03
• ICLP'04: http://www.irisa.fr/ICLP04

• Special track on CONSTRAINT SOLVING AND PROGRAMMING
at The 17th International FLAIRS Conference (FLAIRS-04) on
http://www.cs.ucc.ie/~osullb/flairs2004/


• Workshop on
MULTIPARADIGM PROGRAMMING WITH OO LANGUAGES (MPOOL'03)
at the Conference on OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES,
AND APPLICATIONS (OOPSLA'03)
http://www.multiparadigm.org/mpool2003


• Workshop
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
Contents

---



• Special Issue of Theory and Practice of Logic Programming on

Multiparadigm Languages and Constraint Programming
http://www.dimi.uniud.it/~wflp2002/tplp/

• Lecture Notes from the University of Newcastle-upon-Tyne by Dave Harrison.

• Lecture Notes from the University of Liverpool by Frans Coenen.

• Olof Torgersson.
  A Note on Declarative Programming Paradigms and the Future of Definitional Programming.
  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 an integration.

• Michael Hanus.
  The Integration 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.
  Practical 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.
  Combining 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.
  Logic 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).
  Comments on Functional and Declarative Programming Languages.
  In spite of their advantages, declarative languages are not that popular in real world industrial environments. Shulman explains why.

• Jens Peter Secher, Morten Heine Sorensen (University of Copenhagen).
  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 that.

• 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.
  Declarative Meta-Programming.
  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 software development.

• Andrey V. Stolyarov.
  Importing Alternative Paradigms into Modern Object-Oriented Languages.
  Stolyarov presents a complete survey on multiparadigm problems and makes an interesting proposal to work them out.

• OO vs declarative programming
  http://www.mozart-oz.org/lists/oz-users/4996.html

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.

• K. R. Apt, J. Brunekreef, V. Partington, A. Schaerf.
  Alma-0: an Imperative Language that Supports Declarative Programming.
  Presentation of the Alma-0 programming language.

• K. R. Apt, A. Schaerf.
  Programming in Alma-0, or Imperative and Declarative Programming Reconciled.
  More about Alma-0, with more example programs.

• K. R. Apt, A. Schaerf.
  The Alma Project, or How First Order Logic Can Help Us in Imperative Programming.
  Introduction of constraints in Alma-0.
  

• Gianfranco Rossi.
  Set-based Nondeterministic Declarative Programming in Singleton.

• P. Flener, B. Hnich, Z. Kiziltan.
  Compiling High-Level Type Constructors in Constraint Programming.
  How to model constraint satisfaction problems in declarative programming: the ESRA language.
  

Mozart - Oz
http://www.mozart-oz.org/
A book based on Oz: http://www.info.ucl.ac.be/people/PVR/book.html

Mercury
http://www.cs.mu.oz.au/research/mercury/

Haskell
http://www.haskell.org/
a brief overview - http://web.media.mit.edu/~tpminka/PLE/haskell/haskell.html

Erlang
http://www.erlang.org)
(note) http://c2.com/cgi/wiki?ErlangLanguage

Escher
http://www.cs.bris.ac.uk/~jwl/escher.html
Declarative Programming in Escher (paper)
http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1995-lloyd.html

Teaching

• Functional and Declarative Programming in Education (FDPE02)
A one day workshop at PLI'02, Monday 7 October 2002
http://www.cs.kent.ac.uk/people/staff/sjt/fdpe02/description.html

• A course on Decl.Progr. in Haskell http://www.cs.vassar.edu/~cs245/