Media type: E-Book Title: Termination Analysis of C Programs Using Compiler Intermediate Languages Contributor: Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,6 Extent: Online-Ressource Language: English Origination: Footnote: Access State: Open Access