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:
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:
- 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
- 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