Session-Based Compilation Framework for Multicore Programming

Yoshida N, Vasconcelos V, Paulino H, Honda K
2009
Chapter
ISSN:
0302-9743
Book Title:
Formal Methods for Components and Objects
Volume:
5751
,
Springer Nature
,
pp.
226 - 246
No abstract available
Keywords:

4613 Theory Of Computation

,

46 Information and Computing Sciences

DOI
10.1007/978-3-642-04167-9_12