Standard
Verifying procedural programs via constrained rewriting induction. / Fuhs, Carsten; Kop, Cynthia Louisa Martina; Nishida, Naoki.
In:
ACM Transactions on Computational Logic, Vol. 18, No. 2, 14, 06.2017.
Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Fuhs, C, Kop, CLM & Nishida, N 2017, '
Verifying procedural programs via constrained rewriting induction',
ACM Transactions on Computational Logic, vol. 18, no. 2, 14.
https://doi.org/10.1145/3060143APA
Fuhs, C., Kop, C. L. M., & Nishida, N. (2017).
Verifying procedural programs via constrained rewriting induction.
ACM Transactions on Computational Logic,
18(2), [14].
https://doi.org/10.1145/3060143Vancouver
Fuhs C, Kop CLM, Nishida N.
Verifying procedural programs via constrained rewriting induction.
ACM Transactions on Computational Logic. 2017 Jun;18(2). 14.
https://doi.org/10.1145/3060143Author
Fuhs, Carsten ; Kop, Cynthia Louisa Martina ; Nishida, Naoki. / Verifying procedural programs via constrained rewriting induction. In: ACM Transactions on Computational Logic. 2017 ; Vol. 18, No. 2.
Bibtex
@article{708e96c76c7243e882ffb6df314b572a,
title = "Verifying procedural programs via constrained rewriting induction",
keywords = "Constrained term rewriting, inductive theorem proving, rewriting induction, lemma generation, program analysis",
author = "Carsten Fuhs and Kop, {Cynthia Louisa Martina} and Naoki Nishida",
year = "2017",
month = jun,
doi = "10.1145/3060143",
language = "English",
volume = "18",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery, Inc.",
number = "2",
}
RIS
TY - JOUR
T1 - Verifying procedural programs via constrained rewriting induction
AU - Fuhs, Carsten
AU - Kop, Cynthia Louisa Martina
AU - Nishida, Naoki
PY - 2017/6
Y1 - 2017/6
KW - Constrained term rewriting
KW - inductive theorem proving
KW - rewriting induction
KW - lemma generation
KW - program analysis
U2 - 10.1145/3060143
DO - 10.1145/3060143
M3 - Journal article
VL - 18
JO - ACM Transactions on Computational Logic
JF - ACM Transactions on Computational Logic
SN - 1529-3785
IS - 2
M1 - 14
ER -
