- Computing polynomial program invariants Markus Muller-Olm Helmut Seidl Sat 22 July 2023
- Complete Abstractions for Checking Language Inclusion Pierre Ganty Francesco Ranzato Pedro Valero Sun 24 October 2021
- Stable Relations and Abstract Interpretation of Higher-Order Programs Benoît Montagu Thomas Jensen Tue 04 August 2020
- Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes Steven J. Ramsay Sat 06 May 2017
- Pushdown Control-flow Analysis for Free Thomas Gilray Steven Lyde Michael D. Adams Matthew Might David Van Horn Wed 20 January 2016
- Abstracting Abstract Machines David Van Horn Matthew Might Fri 28 March 2014
- Layered Fixed Point Logic Piotr Filipiuk Flemming Nielson Hanne Riis Nielson Thu 20 March 2014
- Static determination of dynamic properties of recursive procedures P. Cousot R. Cousot Fri 07 March 2014
- Control-flow analysis of function calls and returns by abstract interpretation Jan Midtgaard Thomas P. Jensen Mon 01 July 2013
- Control-flow analysis of function calls and returns by abstract interpretation Jan Midtgaard Thomas P. Jensen Mon 01 July 2013
- Types as abstract interpretations Patrick Cousot Thu 21 February 2013
- Temporal abstract interpretation Patrick Cousot Radhia Cousot Thu 21 February 2013
- Satisfiability Solvers Are Static Analysers Vijay D'Silva Leopold Haller Daniel Kroening Wed 30 January 2013
- Refining Model Checking by Abstract Interpretation Patrick Cousot Radhia Cousot Wed 30 January 2013
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation Patrick Cousot Wed 30 January 2013
- Abstract Interpretation Frameworks Patrick Cousot Radhia Cousot Sat 26 January 2013
- Nested interpolants Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
- Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation P. Cousot R. Cousot Fri 07 December 2012
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Patrick Cousot Radhia Cousot Tue 04 December 2012
Library Size: 13G (19 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
