TU Darmstadt / ULB / TUbiblio

Automated termination analysis for incompletely defined programs

Walther, Christoph and Schweitzer, Stephan (2005):
Automated termination analysis for incompletely defined programs.
In: 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Montevideo, Uruguay, 14.-18.03.2005, pp. 332-346, [Online-Edition: https://link.springer.com/chapter/10.1007/978-3-540-32275-7_...],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Walther, Christoph and Schweitzer, Stephan
Title: Automated termination analysis for incompletely defined programs
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004)
Event Location: Montevideo, Uruguay
Event Dates: 14.-18.03.2005
Date Deposited: 20 Nov 2008 08:21
Official URL: https://link.springer.com/chapter/10.1007/978-3-540-32275-7_...
License: [undefiniert]
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item