Seguir
William R. Cook
William R. Cook
Associate Professor of Computer Science, University of Texas at Austin
E-mail confirmado em cs.utexas.edu - Página inicial
Título
Citado por
Citado por
Ano
Mixin-based inheritance
G Bracha, W Cook
ACM Sigplan Notices 25 (10), 303-311, 1990
12301990
Inheritance is not subtyping
WR Cook, W Hill, PS Canning
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
6961989
F-bounded polymorphism for object-oriented programming
P Canning, W Cook, W Hill, W Olthoff, JC Mitchell
Proceedings of the fourth international conference on functional programming …, 1989
551*1989
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
537*1989
Rule based database security system and method
WR Cook, MR Gannholm
US Patent 6,820,082, 2004
3212004
Safe composition of product lines
S Thaker, D Batory, D Kitchin, W Cook
Proceedings of the 6th international conference on Generative programming …, 2007
3182007
Computation orchestration: A basis for wide-area computing
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
3122007
The state of the art in language workbenches: Conclusions from the language workbench challenge
S Erdweg, T Van Der Storm, M Völter, M Boersma, R Bosman, WR Cook, ...
Software Language Engineering: 6th International Conference, SLE 2013 …, 2013
3032013
A proposal for making Eiffel type-safe
WR Cook
The computer journal 32 (4), 305-311, 1989
3031989
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
2432015
Object-oriented programming versus abstract data types
WR Cook
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
2201991
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
2031989
A virtual class calculus
E Ernst, K Ostermann, WR Cook
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
2022006
Safe query objects: statically typed objects as remotely executable queries
WR Cook, S Rai
Proceedings of the 27th International Conference on Software engineering, 97-106, 2005
1952005
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
1902009
Interfaces and specifications for the Smalltalk-80 collection classes
WR Cook
ACM SIGPlan Notices 27 (10), 1-15, 1992
1891992
Method and apparatus for creating interactive web page objects
WR Cook, MR Gannholm
US Patent 6,178,432, 2001
1872001
Evaluating support for features in advanced modularization technologies
RE Lopez-Herrejon, D Batory, W Cook
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
1862005
A language for task orchestration and its semantic properties
D Kitchin, WR Cook, J Misra
International Conference on Concurrency Theory, 477-491, 2006
1352006
On understanding data abstraction, revisited
WR Cook
Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009
1102009
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20