Sciweavers

4716 search results - page 6 / 944
» Iterative-free program analysis
Sort
View
82
Voted
ESOP
1994
Springer
15 years 6 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
91
Voted
ISOOMS
1994
15 years 5 months ago
Rigorous Object-Oriented Analysis
Ana M. D. Moreira, Robert G. Clark
92
Voted
PLDI
1993
ACM
15 years 5 months ago
Isolation and Analysis of Optimization Errors
Mickey R. Boyd, David B. Whalley