VPT/HCVS@ETAPS

Keyphrases

Publications

2020

John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Lorenzo Clemente
On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars. VPT/HCVS@ETAPS (2020)
John P. Gallagher, Robert Glück
An Experiment Combining Specialization with Abstract Interpretation. VPT/HCVS@ETAPS (2020)
Alberto Pettorossi
A Historical Account of My Early Research Interests. VPT/HCVS@ETAPS (2020)
Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. VPT/HCVS@ETAPS (2020)
Philipp Rümmer
Competition Report: CHC-COMP-20. VPT/HCVS@ETAPS (2020)
Michael Leuschel
Prolog for Verification, Analysis and Transformation Tools. VPT/HCVS@ETAPS (2020)
Fabian Zaiser, C.-H. Luke Ong
The Extended Theory of Trees and Algebraic (Co)datatypes. VPT/HCVS@ETAPS (2020)
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
Transformational Verification of Quicksort. VPT/HCVS@ETAPS (2020)
Dimitur Nikolaev Krustev
Optimizing Program Size Using Multi-result Supercompilation. VPT/HCVS@ETAPS (2020)
Geoff W. Hamilton
Distilling Programs to Prove Termination. VPT/HCVS@ETAPS (2020)
Alain Finkel
From Well Structured Transition Systems to Program Verification. VPT/HCVS@ETAPS (2020)
Horatiu Cirstea, Alexis Grall, Dominique Méry
Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS (2020)

volume 320, 2020

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020. VPT/HCVS@ETAPS 320 (2020)