Search Sciweavers | Sciweavers

10575 search results - page 176 / 2115

» T2Script Programming Language

132

Voted

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 6 months ago

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Ji Wang, Patrick...

claim paper

Read More »

109

click to vote

PLDI
2011
ACM

223views Programming Languages» more PLDI 2011»

LeakChaser: helping programmers narrow down causes of memory leaks

14 years 6 months ago

Download www.cse.ohio-state.edu

Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Ata...

claim paper

Read More »

click to vote

POPL
2011
ACM

162views Programming Languages» more POPL 2011»

Correct blame for contracts: no more scapegoating

14 years 6 months ago

Download www.ccs.neu.edu

Christos Dimoulas, Robert Bruce Findler, Cormac Fl...

claim paper

Read More »

click to vote

POPL
2011
ACM

177views Programming Languages» more POPL 2011»

Blame for all

14 years 6 months ago

Download homepages.inf.ed.ac.uk

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...

claim paper

Read More »

125

click to vote

POPL
2011
ACM

176views Programming Languages» more POPL 2011»

Generative type abstraction and type-level computation

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers