Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2021 easychair.org. All rights reserved.