TU Darmstadt / ULB / TUbiblio

Automated termination analysis for incompletely defined programs

Walther, Christoph and Schweitzer, Stephan (2005):
Automated termination analysis for incompletely defined programs.
pp. 332-346, 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Montevideo, Uruguay, 14.-18.03.2005, [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]
Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details