Keyword:Trace semantic

Publications
Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot EasyChair Preprint 1645