Sciweavers

6960 search results - page 45 / 1392
» Continuity Analysis of Programs
Sort
View
108
Voted
ICCL
1994
IEEE
15 years 6 months ago
Binding-time Analysis: Abstract Interpretation versus Type Inference
Jens Palsberg, Michael I. Schwartzbach
ESOP
1994
Springer
15 years 6 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
95
Voted
ISOOMS
1994
15 years 6 months ago
Rigorous Object-Oriented Analysis
Ana M. D. Moreira, Robert G. Clark