Search Sciweavers | Sciweavers

10575 search results - page 178 / 2115

» Programming Languages

click to vote

ESOP
2011
Springer

231views Programming Languages» more ESOP 2011»

Polymorphic Contracts

14 years 1 months ago

Download www.cis.upenn.edu

João Filipe Belo, Michael Greenberg, Atsush...

claim paper

Read More »

click to vote

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

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

14 years 29 days 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 29 days 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 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers