Sciweavers

SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
14 years 3 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot