Logical Mobility and Locality Types

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/11506676_5 ◽

2005 ◽

pp. 69-84 ◽

Cited By ~ 4

Author(s):

Jonathan Moody

Download Full-text