HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Naoki Nishida

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
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs
Shujun Zhang and Naoki Nishida
EasyChair Preprint no. 8672
On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting
Misaki Kojima and Naoki Nishida
EasyChair Preprint no. 8671

Keyphrases

cyclic proof, imperative program, program transformation2, program verification, rewriting induction, runtime-error verification, sequent calculus, term rewriting3.

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