Sciweavers

10871 search results - page 67 / 2175
» A stable programming language
Sort
View
101
Voted
ICFP
2000
ACM
15 years 7 months ago
Information flow inference for free
François Pottier, Sylvain Conchon
88
Voted
PLDI
2000
ACM
15 years 7 months ago
ABCD: eliminating array bounds checks on demand
Rastislav Bodík, Rajiv Gupta, Vivek Sarkar
82
Voted
PLDI
2000
ACM
15 years 7 months ago
An automatic object inlining optimization and its evaluation
Julian Dolby, Andrew A. Chien
79
Voted
PLDI
2000
ACM
15 years 7 months ago
Scalable context-sensitive flow analysis using instantiation constraints
Manuel Fähndrich, Jakob Rehof, Manuvir Das