E-Book, Englisch, Band 12042, 261 Seiten, eBook
Gabbrielli Logic-Based Program Synthesis and Transformation
Erscheinungsjahr 2020
ISBN: 978-3-030-45260-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
E-Book, Englisch, Band 12042, 261 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-45260-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.