Sciweavers

4725 search results - page 9 / 945
» Dependence-Based Program Analysis
Sort
View
68
Voted
POPL
1996
ACM
15 years 3 months ago
Points-to Analysis in Almost Linear Time
Bjarne Steensgaard
90
Voted
ICCL
1994
IEEE
15 years 3 months ago
Binding-time Analysis: Abstract Interpretation versus Type Inference
Jens Palsberg, Michael I. Schwartzbach
74
Voted
ESOP
1994
Springer
15 years 3 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
70
Voted
ISOOMS
1994
15 years 3 months ago
Rigorous Object-Oriented Analysis
Ana M. D. Moreira, Robert G. Clark