Search Sciweavers | Sciweavers

6960 search results - page 80 / 1392

» Continuity Analysis of Programs

116

click to vote

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 6 months ago

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

Voted

IWOMP
2010
Springer

109views Programming Languages» more IWOMP 2010»

How to Reconcile Event-Based Performance Analysis with Tasking in OpenMP

15 years 6 months ago

Download www.ccs.tsukuba.ac.jp

Daniel Lorenz, Bernd Mohr, Christian Rössel, ...

claim paper

Read More »

Voted

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

14 years 9 months ago

Download www.lsv.ens-cachan.fr

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...

claim paper

Read More »

125

Voted

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

14 years 9 months ago

Download www.thei3p.org

Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...

claim paper

Read More »

123

click to vote

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers