Search Sciweavers | Sciweavers

4722 search results - page 26 / 945

» Representation-independent program analysis

click to vote

POPL
1996
ACM

98views Programming Languages» more POPL 1996»

Solving Shape-Analysis Problems in Languages with Destructive Updating

13 years 11 months ago

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

claim paper

Read More »

click to vote

TOOLS
1994
IEEE

93views Programming Languages» more TOOLS 1994»

Constraints in Object-Oriented Analysis and Design

13 years 11 months 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

13 years 11 months 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

13 years 11 months 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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers