Sciweavers

1715 search results - page 14 / 343

» Domain-Specific Program Checking

25

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

14 years 1 months ago

On the Completeness of Model Checking

Download www.math.unipd.it

Francesco Ranzato

claim paper

Read More »

26

TOOLS
2000
IEEE

120views Programming Languages» more TOOLS 2000»

Statically Checked Documentation with Design Patterns

14 years 1 months ago

Statically Checked Documentation with Design Patterns

Download www.csie.ntut.edu.tw

Aino Cornils, Görel Hedin

claim paper

Read More »

25

PLDI
2000
ACM

156views Programming Languages» more PLDI 2000»

ABCD: eliminating array bounds checks on demand

14 years 1 months ago

ABCD: eliminating array bounds checks on demand

Download www.eecs.umich.edu

Rastislav Bodík, Rajiv Gupta, Vivek Sarkar

claim paper

Read More »

30

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

14 years 28 days ago

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

25

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

14 years 26 days ago

Faster Checking of Software Specifications by Eliminating Isomorphs

Download www.cs.cmu.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

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