ENGLISH

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

By Olivier Danvy , Ian Zerny (auth.) , María Alpuente (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2011
ISBN
364220550X, 9783642205507
DOI
10.1007/978-3-642-20551-4
ISSN
0302-9743
Google Books ID
ks21uYUAZOMC
Language
english
Format
PDF
Filesize
4 MB (4205361 bytes)
Series
Lecture Notes in Computer Science 6564
Edition
1
Pages
249\260
Orientation
yes
Scanned
no
Time added
2012-02-14 18:00:00
Software Engineering; Programming Techniques; Logi

Description

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Similar books