Type-based flow analysis and context-free language reachability
2008 ◽
Vol 18
(5)
◽
pp. 823-894
◽
Keyword(s):
We present a novel approach to computing the context-sensitive flow of values through procedures and data structures. Our approach combines and extends techniques from two seemingly disparate areas: polymorphic subtyping and interprocedural dataflow analysis based on context-free language reachability. The resulting technique offers several advantages over previous approaches: it works directly on higher-order programs; provides demand-driven interprocedural queries; and improves the asymptotic complexity of a known algorithm based on polymorphic subtyping fromO(n8) toO(n3) for computing all queries. For intra-procedural flow restricted to equivalence classes, our algorithm yields linear inter-procedural flow queries.
2011 ◽
Vol 14
◽
pp. 34-71
◽
2013 ◽
Vol 23
(08)
◽
pp. 1789-1803
◽
Keyword(s):
Keyword(s):
2009 ◽
Vol 53
(6)
◽
pp. 547-561
◽
2007 ◽
Vol 18
(06)
◽
pp. 1293-1302
◽
Keyword(s):
Keyword(s):
1970 ◽
Vol 16
(2)
◽
pp. 201-202
◽
2014 ◽
Vol 577
◽
pp. 917-920