Eintrag weiter verarbeiten
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Uloženo v:
Personen und Körperschaften: | |
---|---|
Název: | Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers/ edited by Germán Vidal |
Formát: | E-kniha Konferenzbericht |
Jazyk: | angličtina |
vydáno v: |
Berlin, Heidelberg
Springer
2012
|
Série: |
SpringerLink Lecture notes in computer science ; 7225 |
Předměty: | |
Buchausg. u.d.T.: | Logic-based program synthesis and transformation, Berlin : Springer, 2012, X, 252 S. |
Zdroj: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
Abstrakt: | This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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. |
---|---|
Popis: | Literaturangaben |
Popis: | Online-Ressource (X, 254 p. 61 illus, digital) |
ISBN: |
9783642322112
|
DOI: | 10.1007/978-3-642-32211-2 |