|
Author:Patrick CousotPublications |
---|
EasyChair Preprint no. 1749 | EasyChair Preprint no. 1645 | EasyChair Preprint no. 365 |
Keyphrasesabstract interpretation3, Abstract Testing, calculational design, computability, dataflow analysis, deadness abstraction, definite deadness, definite liveness, flow analysis, Input space partitioning, liveness analysis, liveness analysis algorithm, maximal trace semantic, potential live variable algorithm, potential liveness, prefix trace, program verification2, Rice's theorem, Semantic Definition, Semantic Soundness, soundness, static program analysis, structural dataflow analysis, structural induction, Trace semantic. |
|
|