Directions for Research in Approximate System Analysis

9 years 9 months ago
Directions for Research in Approximate System Analysis
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fact that programs are infinite states so that all interesting questions about program executions are undecidable. Hence the automatically produced information, although sound, must be incomplete. With the appearance of new computing paradigms, the scope of pro gram analysis has been constantly broadening these last two decades. The term "program static analysis" is therefore too restricted since the analysis problem appears as soon as one considers computer systems with states which evolve continuously or discretely over time, from term rewriting to communication protocols, critical embedded real-time systems and image compression. Three approaches have been considered:
Patrick Cousot
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where CSUR
Authors Patrick Cousot
Comments (0)