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

 
9783540665403: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September/October 1999 Proceedings (Lecture Notes in Computer Science)
Couverture souple
ISBN 10 : 3540665404 ISBN 13 : 9783540665403
Editeur : Springer, 1999

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
1999
Langue
anglais
ISBN 10 
3540665404
ISBN 13 
9783540665403
Reliure
Broché
Nombre de pages
452
Éditeur
Nadathur Gopalan
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  366221136X ISBN 13 :  9783662211366
Editeur : Springer, 2014
Couverture souple