Searching for "Ranking Abstraction of Recursive Programs." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Ranking abstraction of recursive programs
by Ittai Balaban, Ariel Cohen, Amir Pnueli — 2006 — In VMCAI’06: Verification, Model Checking, and Abstract Interpretation
…Ranking Abstraction of Recursive Programs ⋆ Ittai Balaban 1 , Ariel Cohen 1 , and Amir Pnueli 12 1…
Cited by 1 (1 self) – Add To MetaCart

iv ACKNOWLEDGMENTS
by Ariel Cohen, Amir Pnueli, Lenore Zuck, Ariel Cohen — 2008
… program with a well founded ranking function, and then abstracting the augmented program by a finitary…
Add To MetaCart

Showing 1 through 2.

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