ENGLISH

Principles and Practice of Declarative Programming: International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings

By Norman Ramsey (auth.) , Simon Peyton Jones , Gopalan Nadathur (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
ISBN
3540665404, 9783540665403
DOI
10.1007/10704567
Open Library ID
OL9857005M
Language
english
Format
PDF
Filesize
5 MB (5465666 bytes)
Series
Lecture Notes in Computer Science 1702
Edition
1
Pages
442\443
Time added
2011-01-08 23:22:23
CompilersInterpreters; Logics and Meanings of Programs; ProProgramming Languages

Description

This book constitutes the refereed proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in September/October 1999. The 22 revised full papers presented together with three invited contributions were carefully reviewed and selected from a total of 52 full-length papers submitted. Among the topics covered are type theory; logics and logical methods in understanding, defining, integrating, and extending programming paradigms such as functional, logic, object-oriented, constraint, and concurrent programming; support for modularity; the use of logics in the design of program development tools; and development and implementation methods.

Similar books