Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Schernhammer, B. Gramlich:
"On Operational Termination of Deterministic Conditional Rewrite Systems";
Vortrag: 20th Nordic Workshop on Programming Theory (NWPT 2008),
Tallinn, Estonia;
19.11.2008
- 21.11.2008; 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;
S. 84
- 86.
Kurzfassung englisch:
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.
Schlagworte:
Operational termination, deterministic conditional rewrite system, context-sensitive rewriting, disproving termination.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.