Logic-based program synthesis and transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / Emanuele De Angelis, Wim Vanhoof (eds.).
2022
QA76.63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logic-based program synthesis and transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / Emanuele De Angelis, Wim Vanhoof (eds.).
ISBN
9783030988692 (electronic bk.)
3030988694 (electronic bk.)
9783030988685 (print)
3030988694 (electronic bk.)
9783030988685 (print)
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource (ix, 177 pages) : illustrations (some color).
Item Number
10.1007/978-3-030-98869-2 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1/15
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed March 15, 2022).
Added Author
De Angelis, Emanuele, editor.
Vanhoof, Wim, editor.
Vanhoof, Wim, editor.
Series
Lecture notes in computer science ; 13290. 1611-3349
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of 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
Pre x-Based Tracing in Message-Passing Concurrency.
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.