@INPROCEEDINGS{WiedermannCook06,
AUTHOR = {Benjamin A. Wiedermann and William R. Cook},
TITLE = {Extracting Queries by Static Analysis of Transparent Persistence},
BOOKTITLE = {Proc. of the ACM Conf. on Principles of Programming Languages (POPL)},
YEAR = {2007}
}
@INPROCEEDINGS{Cook06ws,
AUTHOR = {William R. Cook and Janel Barfield},
TITLE = {Web Services versus Distributed Objects: A Case Study of Performance and Interface Design},
BOOKTITLE = {Proc. of the IEEE Intl. Conf. on Web Services (ICWS)},
YEAR = 2006
}
@INPROCEEDINGS{SwordsCook06,
AUTHOR = {Sol Swords and William R. Cook},
TITLE = {Soundness of the Simply Typed Lambda Calculus in {ACL2}},
BOOKTITLE = {Intl. Workshop on the ACL2 Theorem Prover and Its Applications (ACL2)},
YEAR = {2006}
}
@INPROCEEDINGS{IbrahimCook06Autofetch,
AUTHOR = {Ali Ibrahim and William R. Cook},
TITLE = {Automatic Prefetching by Traversal Profiling in Object Persistence Architectures},
BOOKTITLE = {Proc. European Conf. on Object-Oriented Programming (ECOOP)},
YEAR = {2006}
}
@INPROCEEDINGS{CPM06OrcWorkflow,
AUTHOR = {William R. Cook and Sourabh Patwardhan and Jayadev Misra},
TITLE = {Workflow Patterns in {Orc}},
BOOKTITLE = {Proc. of the 8th Intl. Conf. on Coordination Models and Languages (COORDINATION)},
PAGES = {82-96},
SERIES = {Springer LNCS 4038},
YEAR = {2006}
}
@ARTICLE{MisraCook06JSSM,
AUTHOR = {Jayadev Misra and William R. Cook},
TITLE = {Computation Orchestration: A Basis for Wide-Area Computing},
JOURNAL = {Journal of Software and Systems Modeling},
YEAR = 2006,
MONTH = {May}
}
@INPROCEEDINGS{KCM06OrcSemantics,
AUTHOR = {David Kitchin and William R. Cook and Jayadev Misra},
TITLE = {A Language for Task Orchestration and its Semantic Properties},
BOOKTITLE = {Proc. of the Intl. Conf. on Concurrency Theory (CONCUR)},
YEAR = {2006}
}
@INPROCEEDINGS{Ernst06vc,
AUTHOR = {Erik Ernst and Klaus Ostermann and William R. Cook},
TITLE = {A Virtual Class Calculus},
BOOKTITLE = {Proc. of the ACM Conf. on Principles of Programming Languages (POPL)},
YEAR = {2006},
PAGES = {270-282}
}
@INPROCEEDINGS{Cook05SafeQuery,
AUTHOR = {William R. Cook and Siddhartha Rai},
TITLE = {Safe query objects: statically typed objects as remotely executable queries},
BOOKTITLE = {Proc. of the 27th Int. Conf. on Software engineering (ICSE)},
YEAR = {2005},
ISBN = {1-59593-963-2},
PAGES = {97--106},
LOCATION = {St. Louis, MO, USA},
DOI = {http://doi.acm.org/10.1145/1062455.1062488},
PUBLISHER = {ACM Press},
ADDRESS = {New York, NY, USA}
}
@INPROCEEDINGS{Harrejon05fop,
AUTHOR = {Roberto Harrejon and Don Batory and William R. Cook},
TITLE = {Evaluating Support for Features in Advanced Modularization Technologies},
BOOKTITLE = {Proc. European Conf. on Object-Oriented Programming (ECOOP)},
YEAR = {2005},
PUBLISHER = {Springer}
}
@TECHREPORT{Cook04SafeQueryTech,
AUTHOR = {William R. Cook and Siddhartha Rai},
TITLE = {Safe Query Objects: Statically Typed Objects as Remotely Executable Queries},
INSTITUTION = {UT Austin Computer Science},
NUMBER = {TR-04-17},
TYPE = {},
PAGES = {14},
MONTH = {May},
YEAR = {2004},
KEYWORD = {}
}
@ARTICLE{CookPalsberg94,
AUTHOR = {William R. Cook and Jens Palsberg},
TITLE = {A Denotational Semantics of Inheritance and Its Correctness},
JOURNAL = {Information and Computation},
VOLUME = 114,
NUMBER = 2,
PAGES = {329-350},
MONTH = {November},
YEAR = 1994
}
@INCOLLECTION{CHC93TAOOP,
AUTHOR = {William R. Cook and Walt Hill and Peter Canning},
TITLE = {Inheritance is not subtyping},
BOOKTITLE = {Theoretical Aspects of Object-Oriented Programming},
EDITOR = {C. A. Gunter and J. C. Mitchell },
PAGES = {},
PUBLISHER = {MIT Press},
ADDRESS = {},
YEAR = {1993},
KEYWORD = {}
}
@BOOK{AppleScript93,
AUTHOR = {{Apple Computer Inc.}},
TITLE = {AppleScript Language Guide},
PUBLISHER = {Addison-Wesley},
YEAR = {1993}
}
@INPROCEEDINGS{Cook92smalltalk,
AUTHOR = {William R. Cook},
TITLE = {Interfaces and Specifications for the {S}malltalk Collection Classes},
BOOKTITLE = {Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
YEAR = 1992
}
@INPROCEEDINGS{BrachaCook90mixins,
AUTHOR = {Gilad Bracha and William R. Cook},
TITLE = {Mixin-based Inheritance},
YEAR = 1990,
BOOKTITLE = {Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
PAGES = {303-311}
}
@INPROCEEDINGS{CHC90inheritance,
AUTHOR = {William R. Cook and Walt Hill and Peter Canning},
TITLE = {Inheritance Is Not Subtyping},
YEAR = 1990,
PAGES = {125-135},
BOOKTITLE = {Proc. of the ACM Symp. on Principles of Programming Languages (POPL)}
}
@INPROCEEDINGS{Cook90OOPvADT,
AUTHOR = {William R. Cook},
TITLE = {Object-Oriented Programming Versus Abstract Data Types},
BOOKTITLE = {Proc. of the REX Workshop/School on the Foundations of Object-Oriented Languages (FOOL)},
YEAR = 1990,
SERIES = {Springer LNCS},
VOLUME = {489},
PAGES = {151-178}
}
@PHDTHESIS{Cook89Phd,
AUTHOR = {William R. Cook},
TITLE = {A Denotational Semantics of Inheritance},
SCHOOL = {Brown University PhD Thesis},
NUMBER = {CS-89-33},
YEAR = {1989}
}
@INPROCEEDINGS{Cook89Eiffel,
TITLE = {A Proposal for Making {E}iffel Type-Safe},
AUTHOR = {William R. Cook},
PAGES = {57-70},
BOOKTITLE = {Proc. European Conf. on Object-Oriented Programming (ECOOP)},
PUBLISHER = {British Computing Society Workshop Series},
YEAR = {1989}
}
@ARTICLE{Cook89EiffelJournal,
TITLE = {A Proposal for Making {E}iffel Type-Safe},
AUTHOR = {William R. Cook},
JOURNAL = {The Computer Journal},
VOLUME = {32},
NUMBER = {4},
PAGES = {305-311},
YEAR = {1989}
}
@INPROCEEDINGS{CCHMO89FBound,
AUTHOR = {Peter Canning and William R. Cook and Walt Hill and John Mitchell and Walter Olthoff},
TITLE = {F-Bounded Polymorphism for Object-Oriented Programming},
BOOKTITLE = {Proc. of Conf. on Functional Programming Languages and Computer Architecture (FPCA)},
PAGES = {273-280},
YEAR = {1989}
}
@INPROCEEDINGS{CookPalsberg89,
AUTHOR = {William R. Cook and Jens Palsberg},
TITLE = {A Denotational Semantics of Inheritance and Its Correctness},
BOOKTITLE = {Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
PAGES = {433-444},
YEAR = 1989
}
@INPROCEEDINGS{CCHO89interfaces,
AUTHOR = {Peter Canning and William R. Cook and Walt Hill and Walter Olthoff},
TITLE = {Interfaces for Strongly-Typed Object-Oriented Programming},
BOOKTITLE = {Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
PAGES = {457-467},
YEAR = 1989
}
@UNPUBLISHED{Cook87selfish,
AUTHOR = {William R. Cook},
TITLE = {A Self-ish Model of Inheritance},
INSTITUTION = {Brown University},
YEAR = 1987
}
@INPROCEEDINGS{Cook87BOF,
AUTHOR = {William R. Cook},
TITLE = {Inheritance Birds of a Feather Session},
BOOKTITLE = {Addendum to the Proceedings, Conference on Object-Oriented Systems, Languages and Applications (OOPSLA)},
PAGES = {42-42},
YEAR = 1987
}
@MISC{Cook87UTYOP,
AUTHOR = {William R. Cook},
TITLE = {A Semantics of Inheritance},
HOWPUBLISHED = {Talk presented at Workshop on Encapsulation, Modularity, and Reusability},
INSTITUTION = {University of Texas at Austin},
YEAR = 1987
}
@TECHREPORT{Cook86ms,
AUTHOR = {William R. Cook},
TITLE = {Interactive Circuit Design Using Embedded Graphs},
INSTITUTION = {Brown University},
YEAR = {1986}
}
@TECHREPORT{CookDalio85,
AUTHOR = {William R. Cook and Brian Dalio},
TITLE = {The Design of a Memory Management Unit: A {SLAP}/{L}ucifer Case Study},
INSTITUTION = {Brown University},
NUMBER = {CS-85-03},
YEAR = {1985}
}
@MISC{Cook84thesis,
AUTHOR = {William R. Cook},
TITLE = {Translation of a Procedural Language for Execution on a Lambda-Calculus Machine},
YEAR = {1984},
HOWPUBLISHED = {Honors Thesis, Tulane University Department of Computer Science}
}
@INPROCEEDINGS{Cook83SLAW,
AUTHOR = {William R. Cook and Victor Law},
TITLE = {An Algorithm Editor for Structured Design (Abstract)},
BOOKTITLE = {Proc. of the ACM Computer Science Conference},
YEAR = {1983}
}
This file has been generated by bibtex2html 1.79