Sciweavers

12452 search results - page 240 / 2491
» An exploration of program as language
Sort
View
PLDI
2011
ACM
14 years 9 months ago
LeakChaser: helping programmers narrow down causes of memory leaks
Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Ata...
138
Voted
POPL
2011
ACM
14 years 9 months ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
POPL
2011
ACM
14 years 9 months ago
Blame for all
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...
POPL
2011
ACM
14 years 9 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
POPL
2011
ACM
14 years 9 months ago
Calling context abstraction with shapes
Xavier Rival, Bor-Yuh Evan Chang