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

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This volume contains the papers presented at the 1999 International C- ference on Principles and Practice of Declarative Programming (PPDP'99) held in Paris from September 29 through October 1, 1999. PPDP'99 participated, together with the International Conference on Functional Programming (ICFP) and several related workshops, in a federation of colloquia known as Principles, Logics and Implementations of high-level programming languages(PLI'99). The overall event was organized by the Institut National de Recherche en Inf- matique et en Automatique (INRIA) and the ACM Special Interest Group for Programming Languages (ACM/SIGPLAN). PPDP represents the union of two conferences that had been in existence for about a decade: Programming Languages,Implementations, Logics and P- grams(PLILP)andAlgebraicandLogicProgramming(ALP). Theseconferences wereheldasoneforthe?rsttimeunderthenamePLILP/ALPintheirtenthand seventhrespectiveincarnationslastyear. Thepresentrenditionfollowsadecision bythe combinedsteering committees to adopta simpler namefor the conference that also re?ected the union. Continuing the tradition of PLILP/ALP, PPDP aims to stimulate research in the use of declarative methods in programming and on the design, application, and implementation of programming languages that support such methods. Topics of interest include the use of type theory, logics, and logical methods in understanding, de?ning, integrating, and exte- ing programming paradigms such as those for functional, logic, object-oriented, constraint,and concurrentprogramming;support for modularity;the use of l- ics in the design of program development tools; development of implementation methods; and the application of the relevant paradigms and associated methods in industry and education. Many of these themes are re?ected in the papers appearing in the present collection.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1999
Idioma
Inglés
ISBN 10 
3540665404
ISBN 13 
9783540665403
Encuadernación
Tapa blanda
Número de páginas
452
Editor
Nadathur Gopalan
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  366221136X ISBN 13:  9783662211366
Editorial: Springer, 2014
Tapa blanda