Sciweavers

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