Search Sciweavers | Sciweavers

10666 search results - page 202 / 2134

» Quantum programming languages

click to vote

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

13 years 2 months ago

Download www.di.ens.fr

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

claim paper

Read More »

click to vote

PLDI
2011
ACM

223views Programming Languages» more PLDI 2011»

LeakChaser: helping programmers narrow down causes of memory leaks

13 years 1 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

13 years 1 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

13 years 1 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

click to vote

POPL
2011
ACM

176views Programming Languages» more POPL 2011»

Generative type abstraction and type-level computation

13 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers