Atlas home || Conferences | Abstracts | about Atlas
Sponsor: ACM SIGPLAN
Homepage: http://ppdp2002.cs.brown.edu/
Description:
PPDP aims to stimulate research on the use of declarative methods in programming and on the design,
implementation and application of programming languages that support such methods. Topics of interest include
any aspect related to understanding, integrating and extending programming paradigms such as those for logic,
functional, constraint, probabilistic, rule and object-oriented programming; concurrent extensions and mobile
computing; type theory; support for modularity; use of logical methods in the design of program development
tools; program analysis and verification; abstract interpretation; development of implementation methods;
application of the relevant paradigms and associated methods in industry and education. This list is not
exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are
encouraged. The technical program of the conference will combine presentations of the accepted papers and
system descriptions with invited talks and advanced tutorials. Previous PPDP meetings were held in Paris
(1999), Montreal (2000), Firenze (2001).
Date received: November 15, 2001
© 2008 Atlas Conferences Inc.