Keyword:Semantic Soundness

Papers
Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot EasyChair Preprint no. 1645