Sciweavers

1715 search results - page 13 / 343

» Domain-Specific Program Checking

125

Voted

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 9 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

121

Voted

PPDP
2010
Springer

116views Programming Languages» more PPDP 2010»

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

15 years 4 months ago

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

Download profs.sci.univr.it

Maria Paola Bonacina

claim paper

Read More »

133

Voted

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

16 years 28 days ago

Pragmatic equivalence and safety checking in Cryptol

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »

132

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 8 days ago

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

142

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

15 years 11 months ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

« Prev « First page 13 / 343 Last » Next »