7 search results - page 2 / 2 » Semantics of Minimally Synchronous Parallel ML |
ICPP
1998
IEEE
13 years 9 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...