Search Sciweavers | Sciweavers

6960 search results - page 79 / 1392

» Continuity Analysis of Programs

103

Voted

PLDI
2000
ACM

123views Programming Languages» more PLDI 2000»

Bitwidth analysis with application to silicon compilation

15 years 7 months ago

Download publications.csail.mit.edu

Mark Stephenson, Jonathan Babb, Saman P. Amarasing...

claim paper

Read More »

Voted

POPL
1998
ACM

88views Programming Languages» more POPL 1998»

Fast Interprocedural Class Analysis

15 years 7 months ago

Download www.evernote.com

Greg DeFouw, David Grove, Craig Chambers

claim paper

Read More »

114

Voted

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

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

15 years 7 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

15 years 7 months ago

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

claim paper

Read More »

101

Voted

TOOLS
1994
IEEE

93views Programming Languages» more TOOLS 1994»

Constraints in Object-Oriented Analysis and Design

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers