A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination
| Autor: | Cousot, Patrick, Cousot, Radhia |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science November 2001 45:41-64 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect