3 citations · 6 across the 4 of their papers we have counts for
4 papers
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…
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…