Searching for "Logical Mobility and Locality Types." – 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.

Logical mobility and locality types
by Jonathan Moody — Logic Based Program Synthesis and Transformation (LOPSTR), LNCS. Springer, 2005. URL http://www.cs.cmu.edu/˜jwmoody/doc/pub/ 2004-LOPSTR-mobility-locality.ps. 7.1.1
… Logical Mobility and Locality Types Jonathan Moody ? jwmoody@(email omitted); Carnegie Mellon…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

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