Accepted Papers
Seventh International Workshop on
Verification and Program Transformation


The Seventh International Workshop on Verification and Program Transformation (VPT-2019) aims to bring together researchers working in two different areas, Verification and Program Transformation. VPT 2019 will be a Programming 2019 Workshop and held on April 2nd, 2019, Genova, Italy.

The workshop will provide a forum where all interactions of the two fields can be presented and discussed.

Accepted Papers

    Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti.
    Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. (Regular paper)

    Vincenzo Arceri, Isabella Mastroeni.
    Static Program Analysis for String Manipulation Languages. (Regular paper)

    John P. Gallagher.
    Polyvariant Program Specialisation with Property-Based Abstraction. (Regular paper)

    Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora.
    Iteratively Composing Statically Verified Traits. (Short presentation)

    Antonina Nepeivoda.
    Verifying String Replacing Procedures by Supercompilation (Extended Abstract). (Short presentation)

    Nikolay V. Shilov.
    Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata. (Short presentation)

Web: http://refal.botik.ru/vpt/vpt2019/
          https://2019.programming-conference.org/track/vpt-2019-papers