Erschienen: 03.05.2013 Abbildung von Albert | Logic-Based Program Synthesis and Transformation | 2013 | 22nd International Symposium, ...

Albert

Logic-Based Program Synthesis and Transformation

22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

2013. Buch. x, 245 S. 36 s/w-Abbildungen, Bibliographien. Softcover

Springer. ISBN 978-3-642-38196-6

Format (B x L): 15,5 x 23,5 cm

Gewicht: 397 g

In englischer Sprache

Produktbeschreibung

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.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...