Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

2020/08/06 by Laurent Fribourg, Matthias Heizmann · 12 citations
Computer Science · #cs.LO #cs.PL #cs.SC

paper · pdf · doi:10.4204/eptcs.320

published as EPTCS 320, 2020

arxiv created 2020/08/06 · arxiv updated 2020/08/07

Abstract

The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U. Copenhagen) et al., Michael Leuschel (Heinrich-Heine U.) and Maurizio Proietti (IASI-CNR) et al.. These invited papers are followed by 4 regular papers accepted at VPT 2020 and the papers of HCVS 2020 which consist of three contributed papers and an invited paper on the third competition of solvers for Constrained Horn Clauses. In addition, the abstracts (in HTML format) of 3 invited talks at VPT 2020 by Andrzej Skowron (U. Warsaw), Sophie Renault (EPO) and Moa Johansson (Chalmers U.), are included.

Cited by

• The Extended Theory of Trees and Algebraic (Co)datatypes
• A Historical Account of My Early Research Interests
• From Well Structured Transition Systems to Program Verification
• From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
• Cons-free Programs and Complexity Classes between LOGSPACE and PTIME
• Prolog for Verification, Analysis and Transformation Tools
• Transformational Verification of Quicksort
• Generating Distributed Programs from Event-B Models
• Distilling Programs to Prove Termination
• An Experiment Combining Specialization with Abstract Interpretation
• Competition Report: CHC-COMP-20
• On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars
• Optimizing Program Size Using Multi-result Supercompilation

Related

• Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
• Proceedings First Workshop on Horn Clauses for Verification and Synthesis
• Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
• Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
• Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis