Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Functional and Constraint Logic Programming

20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings

Herbert Kuchen (Herausgeber)

Buch | Softcover
VII, 157 Seiten
2011
Springer Berlin (Verlag)
978-3-642-22530-7 (ISBN)
CHF 74,85 inkl. MwSt
This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 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.
Erscheint lt. Verlag 12.7.2011
Reihe/Serie Lecture Notes in Computer Science
Theoretical Computer Science and General Issues
Zusatzinfo VII, 157 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 246 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Abstract Interpretation • higher-order patterns • Java • Logische Programmierung • non-deterministic functions • XQuery
ISBN-10 3-642-22530-6 / 3642225306
ISBN-13 978-3-642-22530-7 / 9783642225307
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Künstliche Intelligenz, Macht und das größte Dilemma des 21. …

von Mustafa Suleyman; Michael Bhaskar

Buch | Softcover (2025)
C.H.Beck (Verlag)
CHF 25,20