Logic Based Program Synthesis and Transformation 31st International Symposium LOPSTR 2021 Tallinn Estonia September 7 8 2021 by Emanuele De Angelis (Editor); Wim Vanhoof (editor) 3030988686 9783030988685

Logic Based Program Synthesis and Transformation 31st International Symposium LOPSTR 2021 Tallinn Estonia September 7 8 2021 Emanuele De Angelis (Editor) – Ebook Instant Download/Delivery ISBN(s): 9783030988685,3030988686

Product details:

• ISBN 10:3030988686

• ISBN 13:9783030988685

• Author:Emanuele De Angelis, Wim Vanhoof 

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.

Table contents:

1. String Abstract Domains and Their Combination
2. Data Type Inference for Logic Programming
3. Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines
4. S-Semantics–an Example
5. Disjunctive Delimited Control
6. Towards Substructural Property-Based Testing
7. The Next 700 Program Transformers
8. Representation and Processing of Instantaneous and Durative Temporal Phenomena
9. Prefix-Based Tracing in Message-Passing Concurrency

People also search:

international symposium on logic-based program synthesis and transformation

what is transformation logic

what is synthesis and transformation

synthesis of logic functions

how to improve synthesis and transformation