Keyword:supercompilation

Publications
Verification of Multi-Party Ping-Pong Protocols via Program Transformation Antonina Nepeivoda In:VPT 2014. Second International Workshop on Verification and Program Transformation
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem Geoff Hamilton and Morten Heine Sørensen In:VPT 2014. Second International Workshop on Verification and Program Transformation
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
Turchin's Relation and Subsequence Relation in Loop Approximation Antonina Nepeivoda In:PSI 2014. Ershov Informatics Conference
Ping-Pong Protocols as Prefix Grammars and Turchin Relation Antonina Nepeivoda In:VPT 2013. First 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