VPT@Programming

201920192019

Keyphrases

Publications

2019

John P. Gallagher
Polyvariant Program Specialisation with Property-based Abstraction. VPT@Programming (2019)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora
Iteratively Composing Statically Verified Traits. VPT@Programming (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. VPT@Programming (2019)
Vincenzo Arceri, Isabella Mastroeni
An Automata-based Abstract Semantics for String Manipulation Languages. VPT@Programming (2019)

volume 299, 2019

Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019. VPT@Programming 299 (2019)