Logical Mobility and Locality Types

Jonathan Moody. Logical Mobility and Locality Types. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 69-84, Springer, 2004. [doi]


Abstract is missing.