William R. Cook
William R. Cook
Associate Professor of Computer Science, University of Texas at Austin
Bestätigte E-Mail-Adresse bei cs.utexas.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Mixin-based inheritance
G Bracha, W Cook
ACM Sigplan Notices 25 (10), 303-311, 1990
11641990
Inheritance is not subtyping
WR Cook, W Hill, PS Canning
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
6331989
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
532*1989
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
5161989
Computation orchestration
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
3142007
Safe composition of product lines
S Thaker, D Batory, D Kitchin, W Cook
Proceedings of the 6th international conference on Generative programming …, 2007
3052007
A Proposal for Making Eiffel Type Safe
WR Cook
The Computer Journal - Special issue on object-oriented programming 32 (4 …, 0
293*
Rule based database security system and method
WR Cook, MR Gannholm
US Patent 6,820,082, 2004
2902004
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
2032013
Object-oriented programming versus abstract data types
WR Cook
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
2001990
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
1941989
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
Formal techniques for Distributed Systems, 1-25, 2009
1792009
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
1792005
Interfaces and specifications for the Smalltalk-80 collection classes
WR Cook
ACM SIGPlan Notices 27 (10), 1-15, 1992
1791992
A virtual class calculus
E Ernst, K Ostermann, WR Cook
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
1782006
Evaluating support for features in advanced modularization technologies
RE Lopez-Herrejon, D Batory, W Cook
European Conference on Object-Oriented Programming, 169-194, 2005
1772005
Method and apparatus for creating interactive web page objects
WR Cook, MR Gannholm
US Patent 6,178,432, 2001
1482001
A language for task orchestration and its semantic properties
D Kitchin, WR Cook, J Misra
International Conference on Concurrency Theory, 477-491, 2006
1422006
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
1342015
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
852009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20