Search Sciweavers | Sciweavers

10870 search results - page 72 / 2174

» Model Checking Programs

click to vote

PPDP
2010
Springer

116views Programming Languages» more PPDP 2010»

On theorem proving for program checking: historical perspective and recent developments

13 years 6 months ago

Download profs.sci.univr.it

Maria Paola Bonacina

claim paper

Read More »

click to vote

PPOPP
2010
ACM

203views Distributed and Parallel Com...» more PPOPP 2010»

GAMBIT: effective unit testing for concurrency libraries

14 years 5 months ago

Download www.cs.utexas.edu

As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...

Katherine E. Coons, Sebastian Burckhardt, Madanlal...

claim paper

Read More »

click to vote

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

14 years 2 months ago

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »

click to vote

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

14 years 1 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

click to vote

TOOLS
2000
IEEE

120views Programming Languages» more TOOLS 2000»

Statically Checked Documentation with Design Patterns

14 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers