William R. Cook spends much of his time researching Programming language, Inheritance, Theoretical computer science, Subtyping and Composition over inheritance. His Programming language study frequently draws parallels with other fields, such as Database server. Correctness and Recursive definition is closely connected to Denotational semantics in his research, which is encompassed under the umbrella topic of Inheritance.
His research integrates issues of Orchestration, Operational semantics, The Internet and Computation in his study of Theoretical computer science. His Composition over inheritance study combines topics from a wide range of disciplines, such as Trait, Encapsulation, Object-based language and Class-based programming. The concepts of his Smalltalk study are interwoven with issues in Mixin and Class hierarchy.
His scientific interests lie mostly in Programming language, Theoretical computer science, Inheritance, Object-oriented programming and Software engineering. His research related to Operational semantics, Programming paradigm, Denotational semantics, Correctness and Functional programming might be considered part of Programming language. William R. Cook has researched Theoretical computer science in several fields, including Method, Static analysis, Component and Search algorithm.
The Inheritance study combines topics in areas such as Subtyping, Recursion, Smalltalk and Class-based programming. His Smalltalk research includes elements of Inheritance hierarchy, Composition over inheritance and Type inheritance. His research integrates issues of Software development, Abstract data type, Object-based language and Operations research in his study of Object-oriented programming.
His main research concerns Programming language, Theoretical computer science, Interpreter, Software engineering and Database. William R. Cook integrates Programming language with Simple in his study. His Theoretical computer science research is multidisciplinary, incorporating elements of Metatheory and Search algorithm.
He interconnects Object-oriented programming, First-generation programming language, Online and offline and Partial evaluation in the investigation of issues within Interpreter. His Software engineering study combines topics from a wide range of disciplines, such as Feature model and Access control. His Database study combines topics in areas such as Equivalence, Bisimulation and Web application.
William R. Cook mainly investigates Programming language, Theoretical computer science, Artificial intelligence, Natural language processing and Software product line. William R. Cook integrates Programming language with Java compiler in his research. His Theoretical computer science research includes themes of Method, Object-oriented programming and Programmer.
His Object model and Object graph study in the realm of Artificial intelligence interacts with subjects such as Indexed grammar and Definite clause grammar. His study explores the link between Software product line and topics such as Digital forensics that cross with problems in Feature model, Software engineering, Domain-specific language and Language workbench. His study in Haskell is interdisciplinary in nature, drawing from both Aspect-oriented programming, Inheritance, Programming style, Parametricity and Component.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Mixin-based inheritance
Gilad Bracha;William Cook.
european conference on object oriented programming (1990)
Inheritance is not subtyping
William R. Cook;Walter Hill;Peter S. Canning.
symposium on principles of programming languages (1989)
A denotational semantics of inheritance and its correctness
W. Cook;J. Palsberg.
conference on object oriented programming systems languages and applications (1989)
A denotational semantics of inheritance and its correctness
William Cook;Jens Palsberg.
conference on object oriented programming systems languages and applications (1989)
F-bounded polymorphism for object-oriented programming
Peter Canning;William Cook;Walter Hill;Walter Olthoff.
international conference on functional programming (1989)
Safe composition of product lines
Sahil Thaker;Don Batory;David Kitchin;William Cook.
generative programming and component engineering (2007)
COMPUTATION ORCHESTRATION A Basis for Wide-Area Computing
Jayadev Misra;William R. Cook.
Software and Systems Modeling (2007)
A proposal for making Eiffel type-safe
W. R. Cook.
european conference on object-oriented programming (1989)
Rule based database security system and method
William R. Cook;Martin R. Gannholm.
(2000)
A Denotational Semantics of Inheritance
William R. Cook.
(1989)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
The University of Texas at Austin
The University of Texas at Austin
MIT
University of Waterloo
Saarland University
University of California, Los Angeles
University of Bern
Delft University of Technology
Facebook (United States)
Microsoft (United States)
Cardiff University
Spanish National Research Council
University of Pittsburgh
South China University of Technology
National Renewable Energy Laboratory
The University of Texas Southwestern Medical Center
Medomics (United States)
University of Wisconsin–Madison
Oak Ridge National Laboratory
Arecibo Observatory
The University of Texas at Austin
National Institutes of Health
University of Wisconsin–Madison
Institut d'Investigació Biomédica de Bellvitge
University College London
Max Planck Society