Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation
Author: Elvira Albert
Publisher: Springer
Total Pages: 252
Release: 2013-04-17
Genre: Computers
ISBN: 3642381979

Download Logic-Based Program Synthesis and Transformation Book in PDF, Epub and Kindle

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.


Logic-Based Program Synthesis and Transformation
Language: en
Pages: 252
Authors: Elvira Albert
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformatio
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 385
Authors: Moreno Falaschi
Categories: Computers
Type: BOOK - Published: 2015-12-16 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformatio
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 203
Authors: Fred Mesnard
Categories: Computers
Type: BOOK - Published: 2019-03-19 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformatio
Logic Based Program Synthesis and Transformation
Language: en
Pages: 290
Authors: M. Leuschel
Categories: Computers
Type: BOOK - Published: 2003-06-18 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 20
Logic Based Program Synthesis and Transformation
Language: en
Pages: 286
Authors: Sandro Etalle
Categories: Computers
Type: BOOK - Published: 2005-06-24 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 20