- Systematic abstraction of abstract machines David Van Horn Matthew Might Mon 24 April 2017
- Pushdown Control-flow Analysis for Free Thomas Gilray Steven Lyde Michael D. Adams Matthew Might David Van Horn Wed 20 January 2016
- Deciding kCFA is Complete for EXPTIME David Van Horn Harry G. Mairson Thu 02 January 2014
- Control Flow Analysis in Scheme O. Shivers Sat 14 December 2013
- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis Kalmer Apinis Helmut Seidl Vesal Vojdani Mon 07 October 2013
- Systematic realisation of control flow analyses for CML Kirsten L. Solberg Gasser Flemming Nielson Hanne Riis Nielson Fri 06 September 2013
- Introspective pushdown analysis Christopher Earl Ilya Sergey J. Ian Johnson Matthew Might David Van Horn Mon 22 July 2013
- Exploiting reachability and cardinality in higher-order flow analysis Matthew Might Olin Shivers Wed 17 July 2013
- Efficient Closure Analysis with Reachability A. E. Ayers Wed 10 July 2013
- Forwards and Backwards Analysis for Functional Programs Andrei Sabelfeld Viktor Sabelfeld Tue 09 July 2013
- Set-based analysis of ML programs Nevin Heintze Tue 09 July 2013
- A unified treatment of flow analysis in higher-order languages Suresh Jagannathan Stephen Weeks Tue 09 July 2013
- A practical and flexible flow analysis for higher-order languages J. Michael Ashley R. Kent Dybvig Tue 09 July 2013
- A type system equivalent to flow analysis Jens Palsberg Patrick O'Keefe Thu 04 July 2013
- Closure analysis in constraint form Jens Palsberg Thu 04 July 2013
- CFA2: Pushdown Flow Analysis for Higher-Order Languages Dimitrios Vardoulakis Mon 01 July 2013
- Pushdown flow analysis of first-class control Dimitrios Vardoulakis Olin Shivers Mon 01 July 2013
- Control-flow analysis of function calls and returns by abstract interpretation Jan Midtgaard Thomas P. Jensen Mon 01 July 2013
- Automatic computation of data set definitions John C. Reynolds Fri 28 June 2013
- On the Cubic Bottleneck in Subtyping and Flow Analysis Nevin Heintze David McAllester Thu 27 June 2013
- Flow Analysis of Typed Higher-Order Programs Christian Mossin Thu 27 June 2013
- Higher-order value flow graphs Christian Mossin Thu 27 June 2013
- The Complexity of Flow Analysis in Higher-Order Languages David Van Horn Tue 25 June 2013
- Flow Analysis of Lambda Expressions (Preliminary Version) Neil D. Jones Mon 24 June 2013
- Generalised Flowcharts and Games Pasquale Malacaria Chris Hankin Mon 24 June 2013
- Lecture Notes: Control Flow Analysis for Functional Languages Jonathan Aldrich Mon 24 June 2013
- Control-flow analysis of functional programs Jan Midtgaard Mon 24 June 2013
- A new approach to control flow analysis Pasquale Malacaria Chris Hankin Mon 24 June 2013
- Improving flow analyses via CFA: abstract garbage collection and counting Matthew Might Olin Shivers Fri 14 June 2013
- EigenCFA: accelerating flow analysis with GPUs Tarun Prabhu Shreyas Ramalingam Matthew Might Mary Hall Fri 14 June 2013
- Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned Olin Shivers Thu 13 June 2013
- Relating complexity and precision in control flow analysis David Van Horn Harry G. Mairson Thu 13 June 2013
- Concrete Semantics for Pushdown Analysis: The Essence of Summarization J. Ian Johnson David Van Horn Thu 13 June 2013
- Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl Matthew Might David Van Horn Thu 13 June 2013
- Control-Flow Analysis of Higher-Order Languages Olin Shivers Thu 13 June 2013
- Environment Analysis of Higher-Order Languages Matthew Might Thu 13 June 2013
- Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita Takeshi Tsukada Naoki Kobayashi Mon 28 January 2013
- Exact flow analysis Christian Mossin Mon 28 January 2013
- CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis Olin Shivers Wed 11 July 2012
Library Size: 13G (39 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
