Concepedia

William R. Cook

WR

Statistics

Publications

88

Citations

6.1K

H-Index

42

Active since

1952

Affiliations

The University of Texas at Austin(Current)

Hewlett-Packard (United States)

William R. Cook is an author at The University of Texas at Austin specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware DesignSoftware AnalysisFormal VerificationAutomated ReasoningSoftware EngineeringMedicine

Publications per year

1952–2015

88

Publications

88

Mixin-based inheritance

Gilad Bracha, William R. Cook · 1990 · 778 citations

Diverse Inheritance Mechanisms, Class Hierarchy Growth, Engineering +5

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

A denotational semantics of inheritance and its correctness

William R. Cook, Jens Palsberg · 1989 · 219 citations

Engineering, Intuitive Motivation, Object Orientation +17

Computation Orchestration

Jayadev Misra, William R. Cook · Software & Systems Modeling · 2006 · 216 citations

1–5 of 88