Format:
1 Online-Ressource(XIII, 155 p. 31 illus., 16 illus. in color.)
Edition:
1st ed. 2022.
ISBN:
9783031167676
Series Statement:
Lecture Notes in Computer Science 13474
Content:
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.
Content:
This book constitutes the refereed proceedings of the 32nd 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.
Additional Edition:
ISBN 9783031167669
Additional Edition:
ISBN 9783031167683
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783031167669
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783031167683
Language:
English
DOI:
10.1007/978-3-031-16767-6
