MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Interpretation A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Patrik Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static
by Andrea E. F. Clementi, Miriam Di, Ianni Massimo Lauria, Angelo Monti, Gianluca Rossi, Riccardo Silvestri — 1977 — Proc. of the 4th ACM Symposium on Principles of Programming Languages
… design [21, 7] and bit-compression for information retrieval [6]. The efficient construction of a…
Cited by 2 (0 self) – Add To MetaCart

Delay Analysis in Synchronous Programs
by N. Halbwachs — 1993
… lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM…
Cited by 52 (4 self) – Add To MetaCart

'in Abadi. A logic for parametric polymorphism. Applications,
by Tlca' Pages, Pa Gordon Plotkin, In M. Bezem, J. F. Groote, Cc Patrick Cousot, Radhia Cousot Abstract Interpretation, Maria Dezani-ciancaglini, B. Venneri Functional
… Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis…
Add To MetaCart

Can Logic Programming Execute as Fast as Imperative Programming? [References]
by Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic — 1990
… and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs…
Cited by 95 (4 self) – Add To MetaCart

Bibliography
by Ucch David Ungar, Chambers, Bay-wei Chang, Urs Hlzle, Organizing Programs Classes, Zj Lawrence W. Zurawski, Ralph E. Johnson, Debugging Optimized, Code Expected Behavior
… Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Conference…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB