Sciweavers

9520 search results - page 363 / 1904
» is 2011
Sort
View
PCS
2011
14 years 10 months ago
The research seminar on computer algebra in 2009-2010
Sergei A. Abramov, A. A. Bogolyubskaya, Victor F. ...
PLDI
2011
ACM
14 years 10 months ago
LeakChaser: helping programmers narrow down causes of memory leaks
Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Ata...
POPL
2011
ACM
14 years 10 months ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
POPL
2011
ACM
14 years 10 months ago
Blame for all
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...
POPL
2011
ACM
14 years 10 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...