Functional and Constraint Logic Programming

Kuchen Herbert

ISBN 10: 3642225306 / ISBN 13: 9783642225307

Edité par Springer, 2011

pp. 168. N° de réf. du vendeur 1858567284

Synopsis :

This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, W.F.L.P. 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (P.P.D.P. 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (L.O.P.S.T.R. 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (A.A.I.P. 2011). From the 10 papers submitted, 9 were accepted for presentation the proceeding. The papers cover current research in all areas of functional and logic programming as well as the integration of constraint logic and object-oriented programming, and term rewriting.

Présentation de l'éditeur: This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, W.F.L.P. 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (P.P.D.P. 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (L.O.P.S.T.R. 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (A.A.I.P. 2011). From the 10 papers submitted, 9 were accepted for presentation the proceeding. The papers cover current research in all areas of functional and logic programming as well as the integration of constraint logic and object-oriented programming, and term rewriting.

Détails bibliographiques

Titre : Functional and Constraint Logic Programming
Éditeur : Springer
Date d'édition : 2011
Reliure : Couverture souple
Etat : New