187
click to vote
IPPS
1997
IEEE
16 years 6 days ago
1997
IEEE
Although platform-independent runtime systems for parallel programming languages are desirable, the need for low-level optimizations usually precludes their existence. This is bec...
210
click to vote
PLDI
2003
ACM
16 years 1 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...