Journals and Book Chapters,
Conferences
& Journals, Workshops,
Panels,
Short notes, Lectures
Computation
Orchestration: A Basis for
Wide-Area Computing (bib) (DOI)
Jayadev Misra and William Cook
Journal of Software and
Systems Modeling, May 2006.
Inheritance
is not subtyping (DOI)
(bib)
William R. Cook, Walt Hill and Peter Canning
Theoretical
Aspects of Object-Oriented Programming, C. A.
Gunter and J.
C. Mitchell (eds.), MIT Press, 1993.
Originally in Proc. of the ACM Conf. on Principles of
Programming
Languages (POPL), 1990, pp. 125-135.
A
denotational semantics of
inheritance and its correctness (DOI)
(bib)
William R. Cook and Jens Palsberg
Information and Computation, 114(2):329-350, November 1994. Originally
in Proc.
of the ACM Conf. on Object-Oriented Programming Languages, Systems and
Applications (OOPSLA), 1989, pp. 433-444.
A proposal for
making Eiffel
type-safe (DOI)
(bib)
William R. Cook
The Computer Journal 32(4):305-311, 1989. Originally in Proc.
European Conf.
on Object-Oriented Programming (ECOOP), British
Computing Society
Workshop Series, 1989, pp. 57-70.
A Denotational
Semantics of Inheritance (bib)
William R. Cook
Ph.D. Thesis, Brown University, Department of Computer Science Report
CS-89-33,
1989.
Safe Composition of Product Lines
Sahil Thaker, Don Batory, David Kitchin, and William Cook
To appear, International
Conference on Generative Programming and Component Engineering
(GPCE), 2007.
AppleScript
William R. Cook
The Third Conference
on History of Programming Languages (HOPL III), 2007.
Extracting
Queries by Static Analysis of Transparent Persistence
Benjamin A. Wiedermann & William R. Cook
Proc. of the
Symposium on Principles of Programming Languages (POPL) 2007.
Soundness of the
Simply Typed Lambda Calculus in ACL2
Sol Swords and William R. Cook
ACL2 Workshop, 2006
A
Language for Task Orchestration and its Semantic Properties (2up for
printing) (bib)
William R. Cook, David Kitchin and Jayadev Misra
To appear, Proc. of the International Conference on
Concurrency Theory (CONCUR), 2006.
Web Services
versus Distributed Objects: A Case Study of Performance and Interface
Design (bib)
William R. Cook, Janel Barfield
To appear, Proc. of the IEEE
International Conference on Web Services ( ICWS) 2006.
Automatic
Prefetching by Traversal Profiling in Object Persistence Architectures
(2up for
printing) (bib)
Ali Ibrahim and William R. Cook
Proc. of the European Conference on Object-Oriented
Programming (ECOOP), 2006.
Workflow
Patterns in Orc (2up for
printing) (bib)
William R. Cook, Sourabh Patwardhan, and Jayadev Misra
Proc. of the International Conference on Coordination Models
and Languages (COORDINATION), 2006.
(slides from talk)
A Virtual
Class Calculus (bib)
Erik Ernst, Klaus Ostermann and William R. Cook
Proc. of the ACM Conf. on Principles of Programming
Languages (POPL), 2006, pp 270-282.
Safe
Query Objects: Statically
Typed Objects as Remotely Executable Queries (DOI)
(bib)
William R. Cook and Siddhartha Rai.
Proc. of the International Conference on Software
Engineering (ICSE),
2005, pp. 97-106.
Preliminary version Tech report TR04-17.
Slides
from ICSE talk
Evaluating
Support for
Features in Advanced Modularization Technologies (DOI)
(bib)
Roberto E. Lopez-Herrejon, Don Batory, and William R. Cook.
Proc. of the European Conference on Object-Oriented
Programming (ECOOP),
2005.
SpringerLink
Interfaces
and
specifications for the Smalltalk-80 collection classes (DOI)
(bib)
William R. Cook
Proc. of the ACM Conf. on Object-Oriented
Programming Languages, Systems
and Applications (OOPSLA), 1992, pp. 1-15.
Mixin-based
inheritance (DOI)
(bib)
Gilad Bracha and William R. Cook
Proc. of the ACM Conf. on Object-Oriented Programming
Languages, Systems and
Applications (OOPSLA), 1990, pp. 303-311.
Object-oriented
programming versus abstract data types (bib)
William R. Cook
Proc. of the REX Workshop/School on the Foundations of
Object-Oriented
Languages (FOOL), LNCS 489, Springer-Verlag, 1990, pp.
151-178.
Interfaces for strongly-typed
object-oriented programming (DOI)
Peter Canning, William R. Cook, Walt Hill and Walter Olthoff
Proc. of the ACM Conf. on Object-Oriented Programming
Languages, Systems and
Applications (OOPSLA), 1989, pp. 457-467.
F-Bounded
polymorphism for object-oriented programming (DOI)
Peter Canning, William R. Cook, Walt Hill, John C. Mitchell and Walter
Olthoff
Proc. of Conf. on Functional Programming Languages and
Computer Architecture
(FPCA), 1989, pp. 273-280.
Specializing
and optimizing declarative domain models
Srinivas Nedunuri and William R. Cook
The 4th OOPSLA Workshop on Domain-Specific Modeling, October 2004.
Transforming
declarative models using patterns in MDA
Srinivas Nedunuri and William R. Cook
The OOPSLA Workshop on Best Practices for Model Driven Software
Development,
October 2004.
Native
Queries for
Persistent Objects, A Design White Paper
William R. Cook,
Dr.
“Onward!:
Panel: New Programming Constructs Beyond Inheritance, Patterns, and
Notation:
What's left?”
G. Cohen, W. Cook, R. Filman, L. Tesler
Object-Oriented Programming Systems, Languages, and Applications
(OOPSLA),
2002.
How
to Get a Paper Accepted at OOPSLA
Ralph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P.
Gabriel,
Rebecca Wirfs-Brock
Addendum to the Proceedings on Object-Oriented Programming Systems,
Languages,
and Applications 1993: pp. 429-436.
The
Open Scripting
Architecture: Automating, Integrating, and Customizing Applications
William R. Cook and Warren H. Harris
Unpublished manuscript, 1993.
Some Facts about
String Interleaving
William Cook and Jayadev Misra; February 17, 2005
Lightning
talk on
Native Queries
Presented at OOPSLA 2005
``PL/DB: What's the problem?''
Microsoft Research, October 2004.
Design
of a modern scripting language
W. Cook and W. Harris
(Video) Distinguished Lecture Series VI. University Video
Communications,
Stanford, CA. 1993.