Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / Maribel Fernández (ed.).
LOPSTR (Symposium) (30th : 2020 : Online); Fernández, Maribel. editor.
2021
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 : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / Maribel Fernández (ed.).
Meeting Name LOPSTR (Symposium) (30th : 2020 : Online)
ISBN 9783030684464 (electronic bk.)
3030684466 (electronic bk.)
3030684458
9783030684457
9783030684457
DOI https://doi.org/10.1007/978-3-030-68446-4
Published Cham : Springer, [2021]
Language English
Description 1 online resource (348 pages)
Other Standard Identifiers 10.1007/978-3-030-68446-4 doi
Call Number QA76.63
Dewey Decimal Classification 005.1/15
Summary This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.
Note International conference proceedings.
Conference held virtually due to the COVID-19 pandemic.
Includes author index.
Bibliography, etc. Note Includes bibliographical references and index.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Description based on print version record.
Added Author Fernández, Maribel. editor.
Series Lecture notes in computer science ; 12561.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Logic-Based Program Synthesis and Transformation
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Rewriting
Symbolic Computation in Maude: Some Tapas (Invited Paper)
Runtime Complexity Analysis of Logically Constrained Rewriting
Con uence and Commutation for Nominal Rewriting Systems with Atom Variables
Pattern eliminating transformations
Unification
Nominal Uni cation with Letrec and Environment-Variables
Terminating Non-Disjoint Combined Unification
Types
slepice: Towards a Verified Implementation of Type Theory in Type Theory
Resourceful Program Synthesis from Graded Linear Types
Verification
On Constrained Horn Clauses and Program Veri cation (Invited Paper)
Algorithm Selection for Dynamic Symbolic Execution: a Preliminary Study
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines
Model Checking and Probabilistic Programming
Generating Functions for Probabilistic Programs
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Program Analysis and Testing
Testing Your (Static Analysis) Truths
Slicing unconditional jumps with unnecessary control dependencies
Logics
A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic
Synthesis of Modality De nitions and a Theorem Prover for Epistemic Intuitionistic Logic.

Browse Subjects

Show more subjects...

Statistics

from
to
Export