3 citations · 13 across the 9 of their papers we have counts for
3 papers · 1 filter
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…