Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Gramlich, F. Schernhammer:
"Outermost Termination via Contextual Dependency Pairs";
Vortrag: 11th International Workshop on Termination (WST 2010),
Edinburgh;
14.07.2010
- 15.07.2010; in: "Proc. 11th International Workshop on Termination (WST 2010)",
P. Schneider-Kamp (Hrg.);
(2010),
S. 13
- 17.
Kurzfassung englisch:
Recently, the problem of proving outermost termination has been addressed mainly by methods relying on transformations. Here we describe a more direct approach inspired by the dependency pair (DP) framework of [Giesl et al., JAR 2006]. The basic idea is to enrich dependency pairs by an additional component, namely the calling context of the corresponding recursive function call. Then one can use the additional contextual information to model DP chains adhering to certain strategies (e.g. the outermost strategy). Additionally, existing methods of the ordinary DP approach can partly be reused.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_194664.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.