P. Cousot  Home/Search
Context Related
| daimi.aau.dk/~bra8130/L...ENSX29.ps.Z lix.polytechnique....APSENSX29.ps.gz dmi.ens.fr/~cousot...aiSDCRSDPL.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: daimi.aau.dk/~b...OMAPS_abstracts (more) From: fermivista.math....www.dmi.ens.fr (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation Perspective Patrick Cousot Program Analysis Position Statement: ffl Semantic analysis (of programs, systems, etc.) should become a mature discipline to be included in educational curricula in computer science; ffl This requires the discipline to evolve from an illassorted collection of methods and algorithms to a large scope formal reasoning and design methodology; ffl In particular, program analysis methods should be explained in language, program encoding, semantics,... (Update)
Context of citations to this paper: More
.... recognized definition: Abstract interpretation is a general theory for approximating the semantics of discrete dynamic systems [Cousot 1996a] Abstract interpretation was originally developed by Cousot and Cousot [1977] as a unifying framework for specifying and then...
Cited by: More
Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997) (Correct)
Active bibliography (related documents): More All
2.0: Logical and Operational Methods in the Analysis of .. - Nielson, Cousot.. (Correct)
0.5: Semantics and Analysis of Linda-based languages - Cridlig, Goubault (1993) (Correct)
0.5: A New Approach to Control Flow Analysis - Malacaria, Hankin (1998) (Correct)
Similar documents based on text: More All
0.2: Design and Implementation of a Special-Purpose.. - Blanchet, Cousot, .. (2002) (Correct)
0.1: Refining Model Checking by Abstract Interpretation - Cousot, Cousot (1999) (Correct)
0.1: Compositional Optimization of Disjunctive Abstract.. - Giacobazzi, al. (1996) (Correct)
BibTeX entry: (Update)
Cousot, P. 1996b. Program analysis position statement: The abstract interpretation perspective. In ACM Workshop on Strategic Directions in Computing Research, MIT Lab. for Comput. Sci., Boston, June 1996. Electronically available abstract in ACM Comput. Surv. 28A, 4, 1996. http://citeseer.ist.psu.edu/cousot96program.html More
@article{ cousot96program,
author = "Patrick Cousot",
title = "Program analysis: the abstract interpretation perspective",
journal = "ACM Computing Surveys",
volume = "28",
number = "4es",
pages = "165--165",
year = "1996",
url = "citeseer.ist.psu.edu/cousot96program.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
156 A unified approach to global program optimization (context) - Kildall - 1973
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
117 Semantic domains - Gunter, Scott - 1990
94 Projections for strictness analysis - Wadler, Hughes - 1987
75 semantics and abstract interpretation (context) - Cousot, Cousot - 1992
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, 'E et al. - 1994
73 Denotational semantics (context) - Mosses - 1990
71 Abstract Interpretation and Optimising Transformations for A.. (context) - Mycroft - 1981
65 Semantic foundations of program analysis (context) - Cousot - 1981
63 A storeless model of aliasing and its abstraction using fini.. (context) - Deutsch - 1992
55 Abstract debugging of higher-order imperative languages (context) - Bourdoncle - 1993
54 Static determination of dynamic properties of programs (context) - Cousot, Cousot - 1976
54 Experimental evaluation of a generic abstract interpretation.. (context) - Le Charlier, Van Hentenryck - 1992
54 Abstract interpretation: a semantic-based tool for program a.. (context) - Jones, Nielson - 1995
51 grammar and set-constraint-based program analysis by abstrac.. (context) - Cousot, Cousot - 1995
48 Comparing the Galois connection and widening/narrowing appro.. - Cousot, Cousot - 1992
44 Static determination of dynamic properties of recursive proc.. (context) - Cousot, Cousot - 1977
43 Automatic synthesis of optimal invariant assertions: mathema.. (context) - Cousot, Cousot - 1977
41 Strictness analysis in logical form - Jensen - 1991
39 Properties of data flow frameworks: A unified model (context) - Marlowe, Ryder - 1990
35 Affine relationships among variables of a program (context) - Karr - 1976
30 Two-level semantics and abstract interpretation (context) - Nielson - 1989
27 and application to comportment analysis generalizing strictn.. (context) - Cousot, Cousot et al. - 1994
26 Efficient chaotic iteration strategies with widenings - Bourdoncle - 1993
25 Static analysis of linear congruence equalities among variab.. (context) - Granger - 1991
23 Abstract interpretation by dynamic partitioning (context) - Bourdoncle - 1992
18 About synchronous programming and abstract interpretation (context) - Halbwachs - 1994
15 Semantic analysis of shared-memory concurrent languages usin.. - Cridlig - 1995
15 Cost analysis of logic programs - Debray, Lin - 1993
11 Interprocedural abstract interpretation of block structured .. (context) - Bourdoncle - 1990
9 Compositional and inductive semantic definitions in fixpoint - Cousot, Cousot - 1995
9 Improving the results of static analyses of programs by loca.. (context) - Granger - 1992
8 Compositional optimization of disjunctive abstract interpret.. - Giacobazzi, Ranzato - 1996
8 Polymorphic types and widening operators (context) - Monsuez - 1993
8 Galois connection based abstract interpretations for strictn.. (context) - Cousot, Cousot - 1993
7 Higher order chaotic iteration sequences (context) - Rosendahl - 1993
7 Semantic models and abstract interpretation techniques for i.. (context) - Deutsch - 1995
6 Duration for truly-concurrent transitions (context) - Goubault - 1996
6 Abstract interpretation using TDGs (context) - Mauborgne - 1994
5 A theory of polymorphism in programming (context) - Milner - 1978
5 Formal bases for dataflow analysis of logic programs (context) - Debray - 1994
3 Abstract reduction: towards a theory via abstract interpreta.. (context) - Goubault, Hankin et al. - 1993
3 Abstract model checking (context) - Cousot - 1995
2 Binding-time analysis and strictness analysis by abstract in.. (context) - V'edrine - 1995
2 and abstract interpretation (context) - Monsuez - 1995
2 Schedulers as abstract interpretations of higher-dimensional.. (context) - Goubault - 1995
2 Array operations abstraction using semantic analysis of trap.. (context) - Masdupuy - 1992
2 Flow analysis in the geometry of interaction - Jensen, Mackie - 1996
1 Least solutions of equations over N (context) - Seidel - 1995
1 PS: The references are obviously non exhaustive (context) - Wilhelm, Maurer et al. - 1995
1 Static detection of pointer errors: An axiomatization and a .. (context) - Fradet, Gaugne et al. - 1996
1 Constructing a hierarchy of semantics by abstract interpreta.. (context) - Cousot - 1995
Documents on the same site (http://www.daimi.aau.dk/~bra8130/LOMAPS_abstracts.html): More
Enhanced Operational Semantics - Degano, Priami (1996) (Correct)
Clock Analysis of Synchronous Dataflow Programs - Jensen (1995) (Correct)
Proving Properties of Dynamic Process Networks - Dam (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC