Functional and Constraint Logic Programming

19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Julio Marino (Herausgeber)

Buch | Softcover
IX, 175 Seiten
2011 | 2011
Springer Berlin (Verlag)
978-3-642-20774-7 (ISBN)
53,49 inkl. MwSt
This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010.

From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop's guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
Erscheint lt. Verlag 10.5.2011
Reihe/Serie Lecture Notes in Computer Science
Theoretical Computer Science and General Issues
Zusatzinfo IX, 175 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 273 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Algorithmen
Informatik Theorie / Studium Compilerbau
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Abstract Interpretation • Abstract Machines • Access Control • Compilation • Concurrent Computing • Constraint Languages • Declarative Programming • Denotational Logic • Formal Semantics • Monadic Programming • Nonmonotonic Reasoning • Program Assertions • Program Semantics • Program Transformation • Term Rewriting • Types • Type Systems
ISBN-10 3-642-20774-X / 364220774X
ISBN-13 978-3-642-20774-7 / 9783642207747
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Interlingua zur Gewährleistung semantischer Interoperabilität in der …

von Josef Ingenerf; Cora Drenkhahn

Buch | Softcover (2023)
Springer Fachmedien (Verlag)
32,99
Graphen, Numerik und Probabilistik

von Helmut Harbrecht; Michael Multerer

Buch | Softcover (2022)
Springer Spektrum (Verlag)
32,99