William R. Cook
William R. Cook
Associate Professor of Computer Science, University of Texas at Austin
Verified email at cs.utexas.edu - Homepage
TitleCited byYear
Mixin-based inheritance
G Bracha, W Cook
ACM Sigplan Notices 25 (10), 303-311, 1990
11311990
Inheritance is not subtyping
WR Cook, W Hill, PS Canning
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
6241989
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
5041989
F-bounded polymorphism for object-oriented programming
P Canning, W Cook, W Hill, W Olthoff, JC Mitchell
FPCA 89, 273-280, 1989
501*1989
Computation orchestration
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
2982007
A Proposal for Making Eiffel Type Safe
WR Cook
The Computer Journal - Special issue on object-oriented programming 32 (4 …, 0
284*
Rule based database security system and method
WR Cook, MR Gannholm
US Patent 6,820,082, 2004
2782004
Safe composition of product lines
S Thaker, D Batory, D Kitchin, W Cook
Proceedings of the 6th international conference on Generative programming …, 2007
2732007
Object-oriented programming versus abstract data types
WR Cook
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
1901990
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
1861989
Interfaces and specifications for the Smalltalk-80 collection classes
WR Cook
Oopsla 92, 1-15, 1992
1821992
Evaluating support for features in advanced modularization technologies
RE Lopez-Herrejon, D Batory, W Cook
European Conference on Object-Oriented Programming, 169-194, 2005
1692005
Safe query objects: statically typed objects as remotely executable queries
WR Cook, S Rai
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
1682005
A virtual class calculus
E Ernst, K Ostermann, WR Cook
ACM SIGPLAN Notices 41 (1), 270-282, 2006
1642006
The state of the art in language workbenches
S Erdweg, T Van Der Storm, M Völter, M Boersma, R Bosman, WR Cook, ...
International Conference on Software Language Engineering, 197-217, 2013
1582013
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
Formal techniques for Distributed Systems, 1-25, 2009
1522009
A language for task orchestration and its semantic properties
D Kitchin, WR Cook, J Misra
International Conference on Concurrency Theory, 477-491, 2006
1302006
Method and apparatus for creating interactive web page objects
WR Cook, MR Gannholm
US Patent 6,178,432, 2001
1282001
Evaluating and comparing language workbenches: Existing results and benchmarks for the future
S Erdweg, T Van Der Storm, M Völter, L Tratt, R Bosman, WR Cook, ...
Computer Languages, Systems & Structures 44, 24-47, 2015
922015
Fitting the pieces together: a machine-checked model of safe composition
B Delaware, WR Cook, D Batory
Proceedings of the the 7th joint meeting of the European software …, 2009
752009
The system can't perform the operation now. Try again later.
Articles 1–20