Search Sciweavers | Sciweavers

4725 search results - page 19 / 945

» Dependence-Based Program Analysis

click to vote

TOOLS
1994
IEEE

93views Programming Languages» more TOOLS 1994»

Constraints in Object-Oriented Analysis and Design

14 years 15 days ago

Download people.cs.kuleuven.be

Stefan Van Baelen, Johan Lewi, Eric Steegmans

claim paper

Read More »

click to vote

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

14 years 14 days ago

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

click to vote

IWOMP
2010
Springer

109views Programming Languages» more IWOMP 2010»

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

14 years 11 days ago

Download www.ccs.tsukuba.ac.jp

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

claim paper

Read More »

click to vote

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

13 years 3 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers