Search Sciweavers | Sciweavers

10666 search results - page 202 / 2134

» Quantum programming languages

190

click to vote

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 10 months ago

Download www.di.ens.fr

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

claim paper

Read More »

169

Voted

PLDI
2011
ACM

223views Programming Languages» more PLDI 2011»

LeakChaser: helping programmers narrow down causes of memory leaks

14 years 10 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

146

click to vote

POPL
2011
ACM

162views Programming Languages» more POPL 2011»

Correct blame for contracts: no more scapegoating

14 years 10 months ago

Download www.ccs.neu.edu

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

claim paper

Read More »

146

Voted

POPL
2011
ACM

177views Programming Languages» more POPL 2011»

Blame for all

14 years 10 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

174

Voted

POPL
2011
ACM

176views Programming Languages» more POPL 2011»

Generative type abstraction and type-level computation

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers