3 citations · 13 across the 9 of their papers we have counts for
9 papers
Proceedings of the 9th International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh
The previous VPT 2020 workshop was organized in honour of Professor Alberto Pettorossi on the occasion of his academic retirement from Università di Roma Tor Vergata. Due to the pa…
On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)
Andrei P. Nemytykh
We have proved that for any pattern p the tail recursive program model of naive pattern matching may be automatically specialized w.r.t. the pattern p to a specialized version of t…
Proceedings Seventh International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei Nemytykh
This volume contains a final and revised selection of papers presented at the Seventh International Workshop on Verification and Program Transformation (VPT 2019), which took place…
Verification of Programs via Intermediate Interpretation
Alexei P. Lisitsa, Andrei P. Nemytykh
We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin's sup…
Proceedings Fifth International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
This volume contains the proceedings of the Fifth International Workshop on Verification and Program Transformation (VPT 2017). The workshop took place in Uppsala, Sweden, on April…
Verifying Programs via Intermediate Interpretation
Alexei P. Lisitsa, Andrei P. Nemytykh
We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin's sup…