Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Practical Aspects of Declarative Languages -

Practical Aspects of Declarative Languages

23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Buch | Softcover
IX, 179 Seiten
2021 | 1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-67437-3 (ISBN)
CHF 74,85 inkl. MwSt

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.

The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings:

Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging.

Due to the Corona pandemic PADL 2021 was held as a virtual event.

Foundations and Programming Concepts.- Applications of Declarative Languages.- Declarative Approaches to Testing and Debugging.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Programming and Software Engineering
Zusatzinfo IX, 179 p. 52 illus., 18 illus. in color.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Gewicht 302 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Schlagworte answer set programming • Applications • Artificial Intelligence • Computer Science • concurrent programming structures • conference proceedings • constraint and logic languages • data types and structures • Debugging • distributed computer systems • Distributed Systems • Functional languages • Human-Computer Interaction (HCI) • Informatics • Linguistics • Logic Programming • parallel processing systems • program compilers • Programming Logic • reasoning and belief and knowledge • Research • Software • Software Design • Software Quality • Software Testing
ISBN-10 3-030-67437-1 / 3030674371
ISBN-13 978-3-030-67437-3 / 9783030674373
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …

von Klaus Finkenzeller

Buch (2023)
Hanser (Verlag)
CHF 125,95
das umfassende Handbuch

von Marc Marburger

Buch | Hardcover (2024)
Rheinwerk (Verlag)
CHF 69,85