Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Takumi Kato
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
Keyphrases
imperative program
,
program transformation
,
program verification
,
term rewriting
.
Copyright © 2012-2024 easychair.org. All rights reserved.