Searching for "Approximate Fixed Points in Abstract Interpretation." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Fast Abstract Interpretation Using Sequential Algorithms
by Cj C. Clack, S. L. Peyton, Jones Strictness, Analysis---a Practical, Fh A. Ferguson, John Hughes, Abstract Interpretation, Higher-order Functions, Hf J. Hughes, Alex Ferguson, A Loop-detecting, Interpreter Lazy — 1993
… of Functional Programming, 1(1), January 1991. [HH92] C. Hankin and S. Hunt. Approximate Fixed Points…
Add To MetaCart

Showing 1 through 1.

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