Author:
Salvucci Jérémie,Chailloux Emmanuel
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. Closed-Form Upper Bounds in Static Cost Analysis;Albert;J. Autom. Reasoning,2011
2. Summary-based inference of quantitative bounds of live heap objects;Braberman;Sci. Comput. Program.,2014
3. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints;Cousot,1977
4. Linear Regions Are All You Need;Fluet,2006