Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12561)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: LOPSTR 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
- computer programming
- distributed computer systems
- embedded systems
- formal languages
- formal logic
- linguistics
- logic programming
- natural language processing
- NLP
- parallel processing systems
- software design
- software engineering
- software notations and tools
- software quality
- theory of computation
- verification and validation
Table of contents (17 papers)
-
Unification
-
Model Checking and Probabilistic Programming
Other volumes
-
Logic-Based Program Synthesis and Transformation
Editors and Affiliations
Bibliographic Information
Book Title: Logic-Based Program Synthesis and Transformation
Book Subtitle: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Editors: Maribel Fernández
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-68446-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-68445-7Published: 13 February 2021
eBook ISBN: 978-3-030-68446-4Published: 12 February 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 345
Number of Illustrations: 63 b/w illustrations, 1 illustrations in colour
Topics: Logics and Meanings of Programs, Artificial Intelligence, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Computer Systems Organization and Communication Networks