Sciweavers

10871 search results - page 78 / 2175
» A stable programming language
Sort
View
104
Voted
PLDI
1998
ACM
15 years 6 months ago
The Design and Implementation of a Certifying Compiler
George C. Necula, Peter Lee