Logic-Based Program Synthesis and Transformation

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

Häftad, Engelska, 2013

649 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2013-05-03
Mått155 x 235 x 15 mm
Vikt394 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor245
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642381966

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och it
Diskret matematik inom Naturvetenskap och teknik
Programvaruutveckling inom Data och it
Systemvetenskap och AI inom Data och it

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (Abstract).- An Introduction to Search Combinators.- A Declarative Pipeline Language for Complex Data Analysis.- Semantic Code Clones in Logic Programs.- Specialization with Constrained Generalization for Software Model Checking.- Enhancing Declarative Debugging with Loop Expansion and Tree Compression.- XACML 3.0 in Answer Set Programming.- Types vs. PDGs in Information Flow Analysis- Galliwasp: A Goal-Directed Answer Set Solver.- Computing More Specific Versions of Conditional Rewriting Systems.- Improving Determinization of Grammar Programs for Program Inversion.- A Framework for Guided Test Case Generation in Constraint Logic Programming.- Simplifying the Verification of Quantified Array Assertions via Code Transformation.- Proving Properties of Co-logic Programs with Negation by Program Transformations.- Program Analysis andManipulation to Reproduce Learners’ Erroneous Reasoning.