Concepedia

Walter L. Hill

WL

Statistics

Publications

6

Citations

865

H-Index

6

Active since

1987

Affiliations

Hewlett-Packard (United States)(Current)

Walter L. Hill is an author at Hewlett-Packard (United States) specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware DesignFormal VerificationSoftware EngineeringComputer EngineeringSystem Software

Publications per year

1987–2011

6

Publications

6

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

Inheritance is not subtyping

William R. Cook, Walter L. Hill, Peter S. Canning · 1990 · 322 citations · Full text

Engineering, Type Theory, Subtype Relation +17

Interfaces for strongly-typed object-oriented programming

Peter S. Canning, William R. Cook, Walter L. Hill et al. · 1989 · 128 citations · Full text

Engineering, Software Engineering, Software Analysis +16

A Visual Analytics Approach for Peak‐Preserving Prediction of Large Seasonal Time Series

Ming Hao, Halldór Janetzko, Sebastian Mittelstädt et al. · Computer Graphics Forum · 2011 · 38 citations

Forecasting Methodology, High Resolution, Engineering +18

Interfaces for strongly-typed object-oriented programming

Peter S. Canning, William R. Cook, Walter L. Hill et al. · ACM SIGPLAN Notices · 1989 · 35 citations

Engineering, Software Engineering, Software Analysis +16

1–5 of 6