Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

AvMoreno Falaschi

Häftad, Engelska, 2015

Del 9527 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.

Produktinformation

Utgivningsdatum:2015-12-17
Mått:155 x 235 x 22 mm
Vikt:610 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:385
Förlag:Springer International Publishing AG
ISBN:9783319274355

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

Semantics of Logic Languages.- Ecient compilation of functional logic programs.- Types and security.- Optimization.- Static analysis.- Automated Verication.- Program debugging and slicing.- Smart Environments.- Program Transformation.- Constraint Solving and Programming.