William R. Cook
William R. Cook
Associate Professor of Computer Science, University of Texas at Austin
Dirección de correo verificada de cs.utexas.edu - Página principal
Título
Citado por
Citado por
Año
Mixin-based inheritance
G Bracha, W Cook
ACM Sigplan Notices 25 (10), 303-311, 1990
11511990
Inheritance is not subtyping
WR Cook, W Hill, PS Canning
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
6291989
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
514*1989
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
5111989
Computation orchestration
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
3092007
Safe composition of product lines
S Thaker, D Batory, D Kitchin, W Cook
Proceedings of the 6th international conference on Generative programming …, 2007
2902007
A Proposal for Making Eiffel Type Safe
WR Cook
The Computer Journal - Special issue on object-oriented programming 32 (4 …, 0
290*
Rule based database security system and method
WR Cook, MR Gannholm
US Patent 6,820,082, 2004
2782004
Object-oriented programming versus abstract data types
WR Cook
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
1971990
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
1921989
Interfaces and specifications for the Smalltalk-80 collection classes
WR Cook
ACM SIGPlan Notices 27 (10), 1-15, 1992
1831992
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
1762013
A virtual class calculus
E Ernst, K Ostermann, WR Cook
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
1762006
Evaluating support for features in advanced modularization technologies
RE Lopez-Herrejon, D Batory, W Cook
European Conference on Object-Oriented Programming, 169-194, 2005
1742005
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
1732005
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
Formal techniques for Distributed Systems, 1-25, 2009
1682009
A language for task orchestration and its semantic properties
D Kitchin, WR Cook, J Misra
International Conference on Concurrency Theory, 477-491, 2006
1432006
Method and apparatus for creating interactive web page objects
WR Cook, MR Gannholm
US Patent 6,178,432, 2001
1342001
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
1122015
Workflow patterns in Orc
WR Cook, S Patwardhan, J Misra
International Conference on Coordination Languages and Models, 82-96, 2006
812006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20