Termination Analysis of C Programs Using Compiler Intermediate Languages (Q5389070)
From MaRDI portal
scientific article; zbMATH DE number 6027827
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination Analysis of C Programs Using Compiler Intermediate Languages |
scientific article; zbMATH DE number 6027827 |
Statements
24 April 2012
0 references
termination analysis
0 references
C programs
0 references
compiler intermediate languages
0 references
Termination Analysis of C Programs Using Compiler Intermediate Languages (English)
0 references
