Functional and Constraint Logic Programming
19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Seiten
2011
Springer Berlin (Verlag)
978-3-642-20774-7 (ISBN)
Springer Berlin (Verlag)
978-3-642-20774-7 (ISBN)
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 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2025)
Lehmanns Media (Verlag)
CHF 62,95
die Welt der generativen KI verstehen
Buch | Hardcover (2025)
Hanser (Verlag)
CHF 48,95
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 46,15
