Sciweavers

10871 search results - page 67 / 2175
» A stable programming language
Sort
View
ICFP
2000
ACM
14 years 2 days ago
Information flow inference for free
François Pottier, Sylvain Conchon
PLDI
2000
ACM
14 years 2 days ago
ABCD: eliminating array bounds checks on demand
Rastislav Bodík, Rajiv Gupta, Vivek Sarkar