Termination Analysis of C Programs Using Compiler Intermediate Languages
-
Author:
Stephan Falke, Deepak Kapur, Carsten Sinz
-
Source:
Karlsruhe Report in Informatics 2011-6
- Date: 2011
links