 | EasyChair Smart Slide | Docs/Log in |
Title:Syntactic and Semantic Soundness of Structural Dataflow Analysis Authors:Patrick Cousot Conference:SAS 2019 Tags:Abstract interpretation, calculational design, dataflow analysis, deadness abstraction, definite deadness, definite liveness, flow analysis, liveness analysis, liveness analysis algorithm, maximal trace semantic, potential live variable algorithm, potential liveness, prefix trace, semantic definition, semantic soundness, Soundness, structural dataflow analysis, structural induction and trace semantic Abstract: We show that the classical approach to the soundness of dataflow analysis is with respect to a syntactic path abstraction that may be problematic with respect to a semantics trace-based specification. The fix is a rigorous abstract interpretation based approach to formally construct dataflow analysis algorithms by calculational design.  |
|     |
