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

15 years 8 months ago

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

claim paper

Read More »

119

Voted

TOOLS
1994
IEEE

93views Programming Languages» more TOOLS 1994»

Constraints in Object-Oriented Analysis and Design

15 years 8 months ago

Download people.cs.kuleuven.be

Stefan Van Baelen, Johan Lewi, Eric Steegmans

claim paper

Read More »

127

Voted

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 8 months ago

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

105

Voted

IWOMP
2010
Springer

109views Programming Languages» more IWOMP 2010»

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

15 years 8 months ago

Download www.ccs.tsukuba.ac.jp

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

claim paper

Read More »

102

click to vote

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers