MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reversing Abstract Interpretations." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

NREVERSAL of Fortune -- The Thermodynamics of Garbage Collection
by Henry G. Baker — 1977 — In ACM Sigplan Notices
… material. Traditional reverse abstract interpretation produces relatively poor information due to its…
Cited by 10 (0 self) – Add To MetaCart

A Demand-Driven Set-Based Analysis
by Sandip K. Biswas — 1997 — In Proceedings of the ACM Symposium on Principles of Programming Languages
…] reverses abstract interpretation based on Scottclosed /Scott-open powerdomains [7]. The technique…
Cited by 12 (1 self) – Add To MetaCart

Fast Strictness Analysis Based on Demand Propagation
by R. Sekar, I. V. Ramakrishnan — 1995 — ACM Transactions on Programming Languages and Systems
… based on backward analysis (including the reversing abstract interpretation approach described in Hughes…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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