Keyword:program specialization

Publications
On Unfolding for Programs Using Strings as a Data Type Andrei Nemytykh In:VPT 2014. Second International Workshop on Verification and Program Transformation
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? Alexei Lisitsa and Andrei Nemytykh In:VPT 2014. Second International Workshop on Verification and Program Transformation
Cryptographic Protocol Verification via Supercompilation (A Case Study) Abdulbasit Ahmed, Alexei Lisitsa and Andrei Nemytykh In:VPT 2013. First International Workshop on Verification and Program Transformation