Villanueva | Logic-Based Program Synthesis and Transformation | Buch | 978-3-031-16766-9 | www.sack.de

Buch, Englisch, Band 13474, 155 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 271 g

Reihe: Lecture Notes in Computer Science

Villanueva

Logic-Based Program Synthesis and Transformation

32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
1. Auflage 2022
ISBN: 978-3-031-16766-9
Verlag: Springer International Publishing

32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Buch, Englisch, Band 13474, 155 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 271 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-16766-9
Verlag: Springer International Publishing

This book constitutes the refereed proceedings of the 32 International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.
The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Villanueva Logic-Based Program Synthesis and Transformation jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Villanueva, Alicia

Fachgebiete

Weitere Infos & Material

Testing for Robotic Systems.- Automated Termination and Complexity Analysis.- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting.- Gonnord Confluence Framework: Proving Confluence with CONFident.-Variant-based Equational Anti-unification.- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs.- Building a Join-Optimizer for Souffl´e.- From Infinity to Choreographies: Extraction for Unbounded Systems.- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming.- On Correctness of Normal Logic Programs.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.