| Alternate document: Details Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation (91) Patrick Cousot, Radhia Cousot |
Patrick Cousot, Radhia Cousot  Home/Search
Context
Related
| ens.fr/~cousot/pub...071101991.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: ens.fr/~cousot/publications.ww... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show that for the static analysis of programming languages (with infinitely many programs), the use of an infinite domain with widening/narrowing is strictly more powerful that the use of a finite domain with a Galois connection based abstraction. (Update)
Similar documents (at the sentence level):
20.8%: Comparing the Galois Connection and Widening/Narrowing.. - Cousot, Cousot (1992) (Correct)
Active bibliography (related documents): More All
0.2: Comparison of the Galois connection and widening/narrowing.. - Cousot, Cousot (1991) (Correct)
0.2: On the Desirable Link Between Theory and Practice in.. - Le Charlier, Flener (1997) (Correct)
0.2: An Evaluation Semantics for Narrowing-Based Functional Logic.. - Hanus, Lucas (2000) (Correct)
Similar documents based on text: More All
0.7: Relational Abstract Interpretation of Higher-Order Functional .. - Cousot, Cousot (1991) (Correct)
0.6: Modular Static Program Analysis - Cousot, Cousot (2002) (Correct)
0.6: On Abstraction in Software Verification - Cousot, Cousot (2002) (Correct)
BibTeX entry: (Update)
@article{ cousotcousot91-1,
author = {Cousot, P{.} and Cousot, R{.}},
title = {Comparison of the {G}alois connection and widening/narrowing approaches to abstract interpretation. {JTASPEFL$\,$'91},
{B}ordeaux},
pages = {107--110},
journal = {BIGRE},
volume = 74,
publisher = {IRISA, Ren\-nes, France},
month = oct,
year = 1991,,
url = {citeseer.ist.psu.edu/cousot91comparison.html} }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977 DBLP
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979 ACM DBLP
138 Abstract interpretation of declarative languages (context) - Abramsky, Hankin - 1987 ACM
54 Static determination of dynamic properties of programs (context) - Cousot, Cousot - 1976
22 Deriving Constraints Among Arguments Sizes in Logic Programs (context) - Van Gelder - 1990
5 Abstract semantics (context) - Kieburtz, von Neumann
Documents on the same site (http://www.ens.fr/~cousot/publications.www/): More
Formal Language, Grammar and Set-Constraint-Based Program.. - Cousot, Cousot (1995) (Correct)
Relational Abstract Interpretation of Higher-Order Functional .. - Cousot, Cousot (1991) (Correct)
Relational Abstract Interpretation of Higher-Order Functional .. - Cousot, Cousot (1991) (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