| ||||
| ||||
![]() Title:Abstract Semantic Dependency Authors:Patrick Cousot Conference:SAS 2019 Tags:abstract interpretation, abstract semantic dependency, calculational design, dependency analysis, dependency semantic, information flow, maximal trace semantic, potential value dependency, prefix trace semantic, Static analysis, structural induction and trace semantic Abstract: Dependency is a prevalent notion in computer science. There have been numerous informal or formal attempts to define viable syntactic and semantic concepts of dependency in programming languages with subtle variations and limitations. We develop a new value dependency analysis defined by abstract interpretation of a trace semantics. A sound approximate dependency algorithm is formally derived by calculational design. Further abstractions provide information flow, slicing, non-interference, dye, and taint analyses. Abstract Semantic Dependency ![]() Abstract Semantic Dependency | ||||
Copyright © 2002 – 2025 EasyChair |