Search Sciweavers | Sciweavers

4719 search results - page 10 / 944

» Newtonian program analysis

Voted

PLDI
2006
ACM

87views Programming Languages» more PLDI 2006»

Refinement-based context-sensitive points-to analysis for Java

15 years 8 months ago

Download www.eecs.berkeley.edu

Manu Sridharan, Rastislav Bodík

claim paper

Read More »

103

Voted

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

15 years 8 months ago

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

107

click to vote

IFIP
2009
Springer

98views Programming Languages» more IFIP 2009»

A Practice-Based Analysis of an Online Strategy Game

15 years 7 months ago

Download www.uninova.pt

Giannis Milolidakis, Chris Kimble, Demosthenes Ako...

claim paper

Read More »

Voted

IFIP
2001
Springer

68views Programming Languages» more IFIP 2001»

Transaction Based Risk Analysis - Using Cognitive Fuzzy Techniques

15 years 7 months ago

Download osprey.unisa.ac.za

Elmé Smith, Jan H. P. Eloff

claim paper

Read More »

108

click to vote

SIGADA
2001
Springer

92views Programming Languages» more SIGADA 2001»

Dynamic analysis for locating product features in Ada code

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers