William R. Cook
William R. Cook
Associate Professor of Computer Science, University of Texas at Austin
Zweryfikowany adres z cs.utexas.edu - Strona główna
Cytowane przez
Cytowane przez
Mixin-based inheritance
G Bracha, W Cook
ACM Sigplan Notices 25 (10), 303-311, 1990
Inheritance is not subtyping
WR Cook, W Hill, PS Canning
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
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
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
Computation orchestration
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
Safe composition of product lines
S Thaker, D Batory, D Kitchin, W Cook
Proceedings of the 6th international conference on Generative programming …, 2007
Rule based database security system and method
WR Cook, MR Gannholm
US Patent 6,820,082, 2004
A proposal for making Eiffel type-safe
WR Cook
The computer journal 32 (4), 305-311, 1989
The state of the art in language workbenches
S Erdweg, T Storm, M Völter, M Boersma, R Bosman, WR Cook, ...
International Conference on Software Language Engineering, 197-217, 2013
Object-oriented programming versus abstract data types
WR Cook
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
A virtual class calculus
E Ernst, K Ostermann, WR Cook
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
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
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
Formal Techniques for Distributed Systems, 1-25, 2009
Interfaces and specifications for the Smalltalk-80 collection classes
WR Cook
ACM SIGPlan Notices 27 (10), 1-15, 1992
Evaluating support for features in advanced modularization technologies
RE Lopez-Herrejon, D Batory, W Cook
European Conference on Object-Oriented Programming, 169-194, 2005
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
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
Method and apparatus for creating interactive web page objects
WR Cook, MR Gannholm
US Patent 6,178,432, 2001
A language for task orchestration and its semantic properties
D Kitchin, WR Cook, J Misra
International Conference on Concurrency Theory, 477-491, 2006
Fitting the pieces together: a machine-checked model of safe composition
B Delaware, WR Cook, D Batory
Proceedings of the 7th joint meeting of the European software engineering …, 2009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20