Sciweavers

4719 search results - page 12 / 944
» Newtonian program analysis
Sort
View
75
Voted
POPL
1996
ACM
15 years 4 months ago
A Modal Analysis of Staged Computation
Rowan Davies, Frank Pfenning
73
Voted
POPL
1996
ACM
15 years 4 months ago
Points-to Analysis in Almost Linear Time
Bjarne Steensgaard
97
Voted
ICCL
1994
IEEE
15 years 4 months ago
Binding-time Analysis: Abstract Interpretation versus Type Inference
Jens Palsberg, Michael I. Schwartzbach