Abstract Interpretation and Low-Level Code Optimization.

Saumya K. Debray

Published in: PEPM (1995)

Keyphrases

low level
abstract interpretation
static analysis
high level
source code
termination analysis
dynamic analysis