HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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 no. 8673

Keyphrases

imperative program, program transformation, program verification, term rewriting.

Copyright © 2012-2023 easychair.org. All rights reserved.