Segueix
William R. Cook
William R. Cook
Associate Professor of Computer Science, University of Texas at Austin
Correu electrònic verificat a cs.utexas.edu - Pàgina d'inici
Títol
Citada per
Citada per
Any
Mixin-based inheritance
G Bracha, W Cook
ACM Sigplan Notices 25 (10), 303-311, 1990
12391990
Inheritance is not subtyping
WR Cook, W Hill, PS Canning
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
6941989
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
548*1989
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
538*1989
Safe composition of product lines
S Thaker, D Batory, D Kitchin, W Cook
Proceedings of the 6th international conference on Generative programming …, 2007
3222007
Rule based database security system and method
WR Cook, MR Gannholm
US Patent 6,820,082, 2004
3202004
Computation orchestration: A basis for wide-area computing
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
3142007
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
3062013
A proposal for making Eiffel type-safe
WR Cook
The computer journal 32 (4), 305-311, 1989
3001989
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
2512015
Object-oriented programming versus abstract data types
WR Cook
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
2221991
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
2051989
A virtual class calculus
E Ernst, K Ostermann, WR Cook
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
2032006
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
1912009
Interfaces and specifications for the Smalltalk-80 collection classes
WR Cook
ACM SIGPlan Notices 27 (10), 1-15, 1992
1911992
Method and apparatus for creating interactive web page objects
WR Cook, MR Gannholm
US Patent 6,178,432, 2001
1902001
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
1842005
A language for task orchestration and its semantic properties
D Kitchin, WR Cook, J Misra
International Conference on Concurrency Theory, 477-491, 2006
1362006
On understanding data abstraction, revisited
WR Cook
Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009
1142009
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20