Home | deutsch  | Legals | Sitemap | KIT

Termination Analysis of C Programs Using Compiler Intermediate Languages

Termination Analysis of C Programs Using Compiler Intermediate Languages
Author:

Stephan Falke, Deepak Kapur, Carsten Sinz

links:
Source:

Karlsruhe Report in Informatics 2011-6

Date: 2011