Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
program transformation
Publications
On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms
Naoki Nishida
,
Misaki Kojima
and
Takumi Kato
EasyChair Preprint 8673
On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting
Misaki Kojima
and
Naoki Nishida
EasyChair Preprint 8671
Automating the Diagram Method to Prove Correctness of Program Transformations
David Sabel
EasyChair Preprint 415
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
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
On the Termination of Positive Supercompilation
Geoff Hamilton
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
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
Copyright © 2012-2024 easychair.org. All rights reserved.