HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:imperative program

Papers
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
Copyright © 2012-2023 easychair.org. All rights reserved.