Search Sciweavers | Sciweavers

4719 search results - page 25 / 944

» Newtonian program analysis

click to vote

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

An ASIS-Based Static Analysis Tool for High-Integrity Systems

13 years 11 months ago

Download www.adastat.com

William W. Pritchett IV, John D. Riley

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers