Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12042)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: LOPSTR 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 papers)
-
Program Transformation
Other volumes
-
Logic-Based Program Synthesis and Transformation
Keywords
- artificial intelligence
- computer hardware
- computer programming
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- formal logic
- linguistics
- logic programming
- mathematics
- parallel processing systems
- program compilers
- semantics
- software design
- software engineering
- software quality
- verification
- verification and validation
About this book
The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.
Editors and Affiliations
Bibliographic Information
Book Title: Logic-Based Program Synthesis and Transformation
Book Subtitle: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Editors: Maurizio Gabbrielli
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-45260-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-45259-9Published: 22 April 2020
eBook ISBN: 978-3-030-45260-5Published: 21 April 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 261
Number of Illustrations: 378 b/w illustrations, 228 illustrations in colour
Topics: Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Simulation and Modeling, Computer Applications, Artificial Intelligence