Talks and Poster Presentations (with Proceedings-Entry):
F. Schernhammer, B. Gramlich:
"On Operational Termination of Deterministic Conditional Rewrite Systems";
Talk: 20th Nordic Workshop on Programming Theory (NWPT 2008),
Tallinn, Estonia;
2008-11-19
- 2008-11-21; in: "Proc. 20th Nordic Workshop on Programming Theory - NWPT 2008 (Extended Abstracts)",
Institute of Cybernetics, Tallinn University of Technology,
Tallinn, Estonia
(2008),
ISBN: 978-9949-430-24-6;
84
- 86.
English abstract:
We characterize the practically important notion of operational termination of deterministic conditional term rewriting systems (DCTRSs) by context-sensitive termination of a transformed TRS on original terms. Experimental evaluations show that this new approach yields more power when verifying operational termination than existing ones. Moreover, it allows us to disprove operational termination of DCTRSs.
Keywords:
Operational termination, deterministic conditional rewrite system, context-sensitive rewriting, disproving termination.
Created from the Publication Database of the Vienna University of Technology.