Keyword:program transformation

Papers
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint no. 415
Turchin's Relation and Subsequence Relation in Loop Approximation Antonina Nepeivoda In:PSI 2014. Ershov Informatics Conference
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
On Unfolding for Programs Using Strings as a Data Type Andrei Nemytykh In:VPT 2014. Second International Workshop on Verification and Program Transformation
Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti 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
Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti In:VPT 2013. First International Workshop on Verification and Program Transformation
On the Termination of Positive Supercompilation Geoff Hamilton In:VPT 2013. First International Workshop on Verification and Program Transformation