Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.8981 (PDF)
The 18 revised full papers...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.
The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.
- 2015, 2015, 333 Seiten, Englisch
- Herausgegeben: Maurizio Proietti, Hirohisa Seki
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319178229
- ISBN-13: 9783319178226
- Erscheinungsdatum: 22.04.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.8981".
Kommentar verfassen