De Angelis / Vanhoof | Logic-Based Program Synthesis and Transformation | E-Book | sack.de
E-Book

E-Book, Englisch, Band 13290, 177 Seiten, eBook

Reihe: Lecture Notes in Computer Science

De Angelis / Vanhoof Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
1. Auflage 2022
ISBN: 978-3-030-98869-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

E-Book, Englisch, Band 13290, 177 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-030-98869-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
De Angelis / Vanhoof Logic-Based Program Synthesis and Transformation jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

De Angelis, Emanuele
Vanhoof, Wim

Weitere Infos & Material

String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Towards Substructural Property-Based Testing.- The Next 700 Program Transformers.- Representation and Processing of Instantaneous and Durative Temporal Phenomena.- Pre x-Based Tracing in Message-Passing Concurrency.

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.