Statistics
Publications
4
Citations
815
H-Index
4
Active since
1989
Affiliations
Hewlett-Packard (United States)(Current)
Peter S. Canning is an author at Hewlett-Packard (United States) specializing in formal verification, formal methods, and program analysis.
Publications per year
1989–1990
4
4
F-bounded polymorphism for object-oriented programming
Peter S. Canning, William R. Cook, Walter L. Hill et al. · 1989 · 330 citations
Engineering, F-bounded Polymorphism, Computer Architecture +17
William R. Cook, Walter L. Hill, Peter S. Canning · 1990 · 322 citations · Full text
Interfaces for strongly-typed object-oriented programming
Peter S. Canning, William R. Cook, Walter L. Hill et al. · 1989 · 128 citations · Full text
Interfaces for strongly-typed object-oriented programming
Peter S. Canning, William R. Cook, Walter L. Hill et al. · ACM SIGPLAN Notices · 1989 · 35 citations
1–4 of 4