Del 12042 i serien Lecture Notes in Computer Science

Logic-Based Program Synthesis and Transformation

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

Häftad, Engelska, 2020

729 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 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.

Produktinformation

Utgivningsdatum2020-04-22
Mått155 x 235 x 16 mm
Vikt429 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor261
FörlagSpringer Nature Switzerland AG
ISBN9783030452599

Tillhör följande kategorier

Reversibilization in Functional and Concurrent Programming.- Horn clauses and tree automata for imperative program verification.- On xpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics.- A General Framework for Static Cost Analysis of Parallel Logic Programs.- Incremental Analysis of Logic Programs with Assertions and Open Predicates.- Computing Abstract Distances in Logic Programs.- Synthesizing Imperative Code from Answer Set Programming Specifications.- Verified Construction of Fair Voting Rules.- Solving Proximity Constraints.- A Certified Functional Nominal C-Unification Algorithm.- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.- An Integrated Approach to Assertion-Based Random Testing in Prolog.-Trace analysis using an Event-driven Interval Temporal Logic.- The Prolog debugger and declarative programming.- A Port Graph Rewriting Approach to Relational Database Modelling.- Generalization-driven semantic clone detection in CLP.- Semi-Inversion of Conditional Constructor Term Rewriting Systems.