Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
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...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | |
| Format: | eKnjiga |
| Jezik: | English |
| Izdano: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Serija: | Lecture Notes in Computer Science
7844 |
| Teme: | |
| Online dostop: | Click here to view the full text content |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| Izvleček: | 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. |
|---|---|
| Fizični opis: | 1 online resource (X, 245 pages) 36 illustration. digital. |
| ISBN: | 9783642381973 |
| ISSN: | 0302-9743 |