Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8981)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: LOPSTR 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
- Answer set programming
- Constraint logic programming
- Declarative debugging
- Formal methods
- Formal semantics
- Languages
- Logic programming
- Operational semantics
- Program analysis
- Program semantics
- Program synthesis
- Program transformation
- Program verification
- Semantics and reasoning
- Software notation and tools
- Software security
- Software testing
- Static analysis
- Term rewriting systems
- Verification
Table of contents (18 papers)
-
Program Analysis and Transformation
-
Termination Analysis
-
Program Testing and Verification
Other volumes
-
Logic-Based Program Synthesis and Transformation
Editors and Affiliations
Bibliographic Information
Book Title: Logic-Based Program Synthesis and Transformation
Book Subtitle: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Editors: Maurizio Proietti, Hirohisa Seki
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-17822-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-17821-9Published: 04 May 2015
eBook ISBN: 978-3-319-17822-6Published: 22 April 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 333
Number of Illustrations: 61 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Artificial Intelligence, Discrete Mathematics in Computer Science