Logic-based program synthesis and transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings / Alicia Villanueva (ed.).
LOPSTR (Symposium) (32nd : 2022 : Tbilisi, Georgia ; Online); Villanueva, Alicia, editor.
2022
QA76.63
Available Online

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 : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings / Alicia Villanueva (ed.).
Meeting Name LOPSTR (Symposium) (32nd : 2022 : Tbilisi, Georgia ; Online)
ISBN 9783031167676 (electronic bk.)
3031167678 (electronic bk.)
9783031167669 (print)
303116766X
DOI https://doi.org/10.1007/978-3-031-16767-6
Published Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource (xiii, 155 pages) : illustrations (some color).
Item Number 10.1007/978-3-031-16767-6 doi
Call Number QA76.63
Dewey Decimal Classification 005.1/15
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed September 13, 2022).
Added Author Villanueva, Alicia, editor.
Series Lecture notes in computer science ; 13474. 1611-3349
Available in Other Form Print version: 9783031167669
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export