Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science, 1702)

Nadathur, Gopalan

ISBN 10: 3540665404 / ISBN 13: 9783540665403

Published by Springer, 1999

About this Item

Seller Inventory # 45P58_18_3540665404

Bibliographic Details

• Title: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science, 1702)
• Publisher: Springer
• Publication Date: 1999
• Language: English
• ISBN 10: 3540665404
• ISBN 13: 9783540665403
• Binding: Soft cover
• Condition: new

About this title

Synopsis

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.