Logic-Based Program Synthesis and Transformation - Info and Reading Options
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
By Maurizio Gabbrielli
"Logic-Based Program Synthesis and Transformation" is published by Springer in Apr 22, 2020, the book is classified in Computers genre, it has 277 pages and the language of the book is English.
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Maurizio Gabbrielli
- Language: English
- Number of Pages: 277
- Is Family Friendly: Yes - No Mature Content
- Publisher: Springer
- Publish Date: Apr 22, 2020
- Genres: Computers
Edition Specifications:
- Format: paperback
Edition Identifiers:
- Google Books ID: AdxczQEACAAJ
- The Open Library ID: OL28250796M - OL20863928W
- ISBN-13: 9783030452599
- ISBN-10: 303045259X
- All ISBNs: 303045259X - 9783030452599
AI-generated Review of “Logic-Based Program Synthesis and Transformation”:
Snippets and Summary:
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.
"Logic-Based Program Synthesis and Transformation" Description:
Google Books:
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. 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.
Read “Logic-Based Program Synthesis and Transformation”:
Read “Logic-Based Program Synthesis and Transformation” by choosing from the options below.
Search for “Logic-Based Program Synthesis and Transformation” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Logic-Based Program Synthesis and Transformation” in Libraries Near You:
Read or borrow “Logic-Based Program Synthesis and Transformation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logic-Based Program Synthesis and Transformation” at a library near you.
Buy “Logic-Based Program Synthesis and Transformation” online:
Shop for “Logic-Based Program Synthesis and Transformation” on popular online marketplaces.
- Ebay: New and used books.