35 citations · 80 across the 25 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 35 cited
Verifying Procedural Programs via Constrained Rewriting Induction
Carsten Fuhs, Cynthia Kop, Naoki Nishida
This paper aims to develop a verification method for procedural programs via a transformation into Logically Constrained Term Rewriting Systems (LCTRSs). To this end, we extend tra…
cs.LO2014
First-Order Formative Rules
Carsten Fuhs, Cynthia Kop
This paper discusses the method of formative rules for first-order term rewriting, which was previously defined for a higher-order setting. Dual to the well-known usable rules, for…