Sciweavers

4719 search results - page 13 / 944
» Newtonian program analysis
Sort
View
79
Voted
ESOP
1994
Springer
15 years 4 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
77
Voted
ISOOMS
1994
15 years 4 months ago
Rigorous Object-Oriented Analysis
Ana M. D. Moreira, Robert G. Clark
83
Voted
PLDI
1993
ACM
15 years 4 months ago
Isolation and Analysis of Optimization Errors
Mickey R. Boyd, David B. Whalley
86
Voted
POPL
1994
ACM
15 years 4 months ago
Lazy Array Data-Flow Dependence Analysis
Vadim Maslov