18 citations · 60 across the 35 of their papers we have counts for
4 papers · 1 filter
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…
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…
A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?
Alexei Lisitsa, Andrei P. Nemytykh
The paper presents two examples of non-traditional using of program specialization by Turchin's supercompilation method. In both cases we are interested in syntactical properties o…