Sciweavers

8 search results - page 1 / 2
» toplas 2010
Sort
View
66
Voted
TOPLAS
2010
76views more  TOPLAS 2010»
14 years 10 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
65
Voted
TOPLAS
2010
59views more  TOPLAS 2010»
14 years 10 months ago
A calculus for uniform feature composition
Sven Apel, DeLesley Hutchins
64
Voted
TOPLAS
2010
79views more  TOPLAS 2010»
14 years 10 months ago
Detecting bugs in register allocation
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
61
Voted
TOPLAS
2010
73views more  TOPLAS 2010»
14 years 10 months ago
Execution suppression: An automated iterative technique for locating memory errors
Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neel...
99
Voted
TOPLAS
2010
93views more  TOPLAS 2010»
14 years 10 months ago
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richar...