P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In ACM Symposium on Principles of Programming Languages, pages 84--96, Jan. 1978. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
From Discrete Duration Calculus to Symbolic Automata - Gonnord, Halbwachs, Raymond (2004) (1 citation) Self-citation (Halbwachs) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages, POPL'78, Tucson (Arizona), January 1978.
Pointer-Range Analysis - Yong, Horwitz (2004) (1 citation) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In ACM Symposium on Principles of Programming Languages, pages 84--96, Jan. 1978.
A Relational Abstraction for Functions - Jeannet Gopan And (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages, POPL'78, Tucson (Arizona), January 1978.
Symbolic Methods to Enhance the Precision of - Numer Ic Al (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In ACM POPL'78, pages 84--97. ACM Press, 1978.
Analyzing Memory Accesses in x86 Binary Executables - Gogul Balakrishnan Thomas (Correct)
No context found.
P. Cousot and R. Cousot. Automatic discovery of linear restraints among variables of a program. In Symp. on Princ. of Prog. Lang., pages 84-97, 1978.
Static Analysis and Computer Security: . . . - Wagner (2000) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM POPL, pages 84-97, 1978. 104
Abstraction Refinement for Termination - Ron Cook Andreas (2005) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL'1978: Principles of Programming Languages, pages 84--97. ACM Press, 1978.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic Discovery of Linear Restraints among Variables of a Program. In ACM Symposium on Principles of Programming Languages, pages 84--96, January 1978.
Inferring Object Invariants (Extended Abstract) - Chang, Leino (2005) (Correct)
No context found.
Cousot, P. and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, in: Fifth POPL, 1978, pp. 84--96.
Widening Arithmetic Automata - Bartzis, Bultan (2004) (2 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming, pages 84--97, 1978.
Model Checking Concurrent Systems with Unbounded Integer.. - Bultan, Gerber, Pugh (1998) (26 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages, 1978, ACM Press.
Static Analysis of Digital Filters - Feret (2004) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proc. POPL'78. ACM Press, 1978.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of 5th ACM Symposium on Principles of Programming Languages, POPL '78, Tucson, AZ, January 1978.
Interprocedural Analysis of Modular Arithmetic - Müller-Olm, Seidl (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic Discovery of Linear Restraints among Variables of a Program. In 5th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), pages 84-97, 1978.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'78), pages 84 -- 96. ACM Press, January 1978.
HOIST: A System for Automatically Deriving Static Analyzers.. - Regehr, Reid (2004) (Correct)
No context found.
Patrick Cousot and Nicolas Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proc. of the 5th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), pages 84--97, Tucson, AZ, January 1978.
Approximating Module Semantics with Constraints - Logozzo (2004) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL'78. ACM Press, 1978.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 84--96, Tucson, Arizona, 1978. ACM Press.
Separate Compositional Analysis of Class-based Object-oriented.. - Logozzo (2004) (2 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL '78. ACM Press, 1978.
Widening Operators for Powerset Domains - Roberto Bagnara Patricia (2004) (3 citations) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 84--96, Tucson, Arizona, 1978. ACM Press.
Computing Convex Hulls with a Linear Solver - Benoy, King, Mesnard (2002) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic Discovery of Linear Restraints among Variables of a Program. In Principles of Programming Languages, pages 84-97. ACM Press, 1978.
Precise and Efficient Static Array Bound Checking for Large.. - Venet, Brat (2004) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84--97, Tucson, Arizona, 1978. ACM Press, New York, NY.
Temporal Property-driven Verification by Abstract Interpretation - Massé (2002) (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84--97, Tucson, Arizona, 1978. ACM Press, New York, NY.
Analyzing Memory Accesses in x86 Executables - Gogul Balakrishnan And (2004) (4 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Automatic discovery of linear restraints among variables of a program. In Princ. of Prog. Lang., pages 84--97, 1978.
A Scalable Nonuniform Pointer Analysis for Embedded Programs - Venet (Correct)
No context found.
P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84--97. ACM Press, New York, NY, 1978.
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