Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Autor*innen

• Maurizio Proietti

Parameter

• 333 Seiten
• 12 Lesestunden

• Informatik & Programmierung
• Technik & Maschinenbau

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 2015