Searching for "Existential Label Flow Inference Via CFL Reachability." – 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.

Existential Label Flow Inference via CFL Reachability
by Polyvios Pratikakis, Michael Hicks, Jeffrey S. Foster — 2005 — In SAS‘06
…Existential Label Flow Inference via CFL Reachability ∗ Polyvios Pratikakis Michael Hicks Jeffrey…
Cited by 3 (3 self) – Add To MetaCart

Refereed Publications [1] Type-Preserving Compilation for Realistic Object-Oriented Compilers
by Polyvios Pratikakis, Advisor Michael Hicks, Coadvisor Jeffrey Foster, Advisors Michael Hicks, Jeffrey Foster, Mentor Chris Hawblitzel — 2002
… Pratikakis, Jeffrey S. Foster and Michael Hicks, 2006 [10] Existential Label Flow Inference via CFL…
Add To MetaCart

Showing 1 through 2.

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