Go to main content

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
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

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.
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 Souffle
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