P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In ACM Symposium on Principles of Programming Languages, pages 106--130, Apr. 1976. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Software Analysis and Model Checking - Holzmann (Correct)
....and Logic Model Checking. 2 Static Analysis Static analysis is the art of making predictions about a program s runtime behavior based on a direct analysis of its source code. Much of the work in this area is based on the foundational work in abstract interpretation by Cousot and Cousot, e.g. [CC76]. As a motivating example we will take a look at a snippet of C device driver code, reproduced in Figure 1. The code is slightly abbreviated from the original that appeared in [BR01] We have highlighted three procedure calls: one call on lock and two on unlock. As in [BR01] we want to check if ....
P. Cousot, R. Cousot, Static Determination of Dynamic Properties of Programs, In B. Robinet, (Ed.), Proc. 2nd Int. Symp. on Programming, Paris, France, April 1976, pp. 106-130.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
....of the ranking functions needed to prove progress properties [10] Since the domain of convex polyhedra admits infinite ascending chains, it has to be used in conjunction with appropriate mechanisms for enforcing and accelerating convergence of the fixpoint computation. Widening operators [14, 15, 17] provide a simple and general characterization for such mechanisms. In its simplest form, a widening operator on a poset (L, is defined as a partial function L satisfying: 1. for each x, y L such that x#y is defined, we have x x#y and y x#y; y i 1 , is not ....
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
Comparison of the Galois connection and widening/narrowing.. - Cousot, Cousot (1991) (Correct)
.... Connexion and Widening Narrowing Approaches to Abstract Interpretation (extended abstract) Patrick Cousot Radhia Cousot LIX, URA CNRS 1439 Ecole Polytechnique, F 91128 Palaiseau Cedex, France email: cousot polytechnique.fr 1 The Galois Connexion Approach to Abstract Interpretation Following [2], 3] and [4] the abstract interpretation of a program can be formalized as the e#ective computation of an approximation A of the least fixed point lfp(F) of a monotone operator F L on a complete poset L(#, #, #) specifying the collecting semantics of the program. The upper approximation ....
.... L where # L and # L are monotone functions such that: #x # L, y L : #(x) y) ## (x #(y) If ##F## F then lfp(F) is a correct upper approximation of lfp(F) in the sense that lfp(F) #(lfp(F) 2 The Widening Narrowing Approach to Abstract Interpretation Another method [2], 3] consists in using a widening operator LL such that: L : y and for all increasing chains x , is not strictly inscreasing. It follows that the =#, if F(X ) X #F(X ) is ultimately stationary and its limit A is ....
Cousot, P. & Cousot, R. "Static determination of dynamic properties of programs". Proc. 2 nd Int. Symp. on Programming, Dunod, Paris, 1976, pp. 106--130.
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) Self-citation (Cousot) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proc. of 2. Int. Symposium on Programming, pages 106--130, Paris, France, 1976. Dunod.
Pointer-Range Analysis - Yong, Horwitz (2004) (1 citation) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In ACM Symposium on Principles of Programming Languages, pages 106--130, Apr. 1976.
Symbolic Methods to Enhance the Precision of - Numer Ic Al (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In ISOP'76, pages 106--130. Dunod, Paris, France, 1976.
K. Julisch and C. Kruegel (Eds.): DIMVA 2005, LNCS.. - Springer-Verlag.. (2005) (Correct)
No context found.
P. Cousot and R. Cousot, "Static Determination of Dynamic Properties of Programs," in 2nd Int. Symp. on Programming, Dumod, Paris, France, 1976.
A class of polynomially solvable range constraints for interval .. - Su, Wagner (2005) (1 citation) (Correct)
No context found.
P. Cousot, R. Cousot, Static determination of dynamic properties of programs, in: Proc. Internat. Symp. on Programming, 1976, pp. 106--130.
Static Analysis and Computer Security: . . . - Wagner (2000) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proc. 2nd Intl. Symp. on Programming, April 1976.
Combining Forward And Backward Analyses Of Temporal Properties - Masse (2001) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the Second International Symposium on Programming, pages 106
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
Component-Based Synthesis of Dependable Embedded Software - Jhumka, Hiller, Suri (2002) (Correct)
No context found.
P. Cousot, R. Cousot, "Static Determination of Dynamic Properties of Programs", Int. Symposium on Programming, 1976
On Systematic Design of Globally Consistent Executable.. - Jhumka, Hiller, Claesson (2002) (Correct)
No context found.
P. Cousot, R. Cousot, "Static Determination of Dynamic Properties of Programs", Int. Symposium on Programming, 1976
Widening Operators for Powerset Domains - Roberto Bagnara Patricia (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
Temporal Property-driven Verification by Abstract Interpretation - Massé (2002) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
Analyzing Memory Accesses in x86 Executables - Gogul Balakrishnan And (2004) (4 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proc. 2nd Int. Symp. on Programming, pages 106--130. Dunod, Paris, France, 1976.
A Scalable Nonuniform Pointer Analysis for Embedded Programs - Venet (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of 2nd International Symposium on Programming, pages 106--130, 1976.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
A Class of Polynomially Solvable Range Constraints for Interval .. - Su, Wagner (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the 2nd International Symposium on Programming, pages 106--130, 1976.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
Analyzing Memory Accesses in x86 Executables - Balakrishnan, Reps (2004) (4 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proc. 2nd Int. Symp. on Programming, pages 106--130. Dunod, Paris, France, 1976.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
P. Cousot, R. Cousot, Static determination of dynamic properties of programs, in: B. Robinet (Ed.), Proceedings of the Second International Symposium on Programming, Dunod, Paris, France, 1976, pp. 106--130.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
P. Cousot, R. Cousot, Static determination of dynamic properties of programs, in: B. Robinet (Ed.), Proceedings of the Second International Symposium on Programming, Dunod, Paris, France, 1976, pp. 106--130.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.
First 50 documents Next 50
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