Logic-Based Program Synthesis and Transformation

Wim Vanhoof

ISBN 10: 3030988686 / ISBN 13: 9783030988685

Verlag: Springer International Publishing, Springer International Publishing Mär 2022, 2022

Beschreibung

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Bestandsnummer des Verkäufers 9783030988685

Bibliografische Details

• Titel: Logic-Based Program Synthesis and Transformation
• Verlag: Springer International Publishing, Springer International Publishing Mär 2022
• Veröffentlichungsdatum: 2022
• Sprache: Englisch
• ISBN-10: 3030988686
• ISBN-13: 9783030988685
• Bindung: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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.