dblp.uni-trier.dewww.uni-trier.de

William R. Cook Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
44 Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009 ACM 2009
43EELars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
42EEJose Falcon, William R. Cook: Gel: A Generic Extensible Language. DSL 2009: 58-77
41EEAli Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook: Remote Batch Invocation for Compositional Object Services. ECOOP 2009: 595-617
40EEBenjamin Delaware, William R. Cook, Don S. Batory: Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252
39EEDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra: The Orc Programming Language. FMOODS/FORTE 2009: 1-25
38EEBenjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
37EEEli Tilevich, William R. Cook, Yang Jiao: Explicit Batching for Distributed Objects. ICDCS 2009: 543-552
36EEWilliam R. Cook: On understanding data abstraction, revisited. OOPSLA 2009: 557-572
2008
35EEBen Wiedermann, Ali Ibrahim, William R. Cook: Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36
34EEWilliam R. Cook, Jayadev Misra: Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145
33EEWilliam R. Cook: High-level problems in teaching undergraduate programming languages. SIGPLAN Notices 43(11): 55-58 (2008)
32EEIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra: A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008)
2007
31EESahil Thaker, Don S. Batory, David Kitchin, William R. Cook: Safe composition of product lines. GPCE 2007: 95-104
30EEWilliam R. Cook: AppleScript. HOPL 2007: 1-21
29EEBen Wiedermann, William R. Cook: Extracting queries by static analysis of transparent persistence. POPL 2007: 199-210
28EESidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
27EEWilliam R. Cook, Janel Barfield: Web Service versus Distributed Objects: A Case Study of Performance and Interface Design. Int. J. Web Service Res. 4(3): 49-64 (2007)
26EEJayadev Misra, William R. Cook: Computation Orchestration. Software and System Modeling 6(1): 83-110 (2007)
2006
25 Peri L. Tarr, William R. Cook: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA ACM 2006
24 Peri L. Tarr, William R. Cook: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA ACM 2006
23EESol Swords, William R. Cook: Soundness of the simply typed lambda calculus in ACL2. ACL2 2006: 35-39
22EEDavid Kitchin, William R. Cook, Jayadev Misra: A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491
21EEWilliam R. Cook, Sourabh Patwardhan, Jayadev Misra: Workflow Patterns in Orc. COORDINATION 2006: 82-96
20EEWilliam R. Cook: Peak Objects. ECOOP 2006: 180-185
19EEAli Ibrahim, William R. Cook: Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP 2006: 50-73
18EEWilliam R. Cook, Janel Barfield: Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS 2006: 419-426
17EEWilliam R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig: Objects and databases: state of the union in 2006. OOPSLA Companion 2006: 926-928
16EEErik Ernst, Klaus Ostermann, William R. Cook: A virtual class calculus. POPL 2006: 270-282
2005
15EERoberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194
14EEWilliam R. Cook, Siddhartha Rai: Safe query objects: statically typed objects as remotely executable queries. ICSE 2005: 97-106
1994
13 William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and Its Correctness Inf. Comput. 114(2): 329-350 (1994)
12 Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook: Open distributed processing (panel). OOPS Messenger 5(2): 67-71 (1994)
1993
11 Yen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder: Panel - Is Multiple Inheritance Essential to OOP? OOPSLA 1993: 360-363
10 Ralph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock: How to Get a Paper Accepted at OOPSLA (Panel). OOPSLA 1993: 429-436
1992
9 William R. Cook: Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA 1992: 1-15
1990
8 Gilad Bracha, William R. Cook: Mixin-based Inheritance. OOPSLA/ECOOP 1990: 303-311
7 William R. Cook, Walter L. Hill, Peter S. Canning: Inheritance Is Not Subtyping. POPL 1990: 125-135
6EEWilliam R. Cook: Object-Oriented Programming Versus Abstract Data Types. REX Workshop 1990: 151-178
1989
5 William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70
4EEPeter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280
3 William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443
2 Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA 1989: 457-467
1981
1 William R. Cook: Internal Diagnostics for Tektronix Graphics Terminals. ITC 1981: 221-225

Coauthor Index

1Sven Apel [44]
2Janel Barfield [18] [27]
3Don S. Batory [15] [31] [38] [40]
4Kent Beck [10]
5Albert Benveniste [28]
6Grady Booch [10]
7Gilad Bracha [8]
8Peter S. Canning [2] [4] [7]
9Thomas A. Cargill [11]
10Brad Cox [11]
11Krzysztof Czarnecki [44]
12Benjamin Delaware [38] [40]
13Erik Ernst [16]
14Jose Falcon [42]
15Richard P. Gabriel [10]
16Robert Greene [17]
17Carl A. Gunter [43]
18Stefan Haar [28]
19Walter L. Hill [2] [4] [7]
20Ali Ibrahim [19] [35] [41]
21Claude Jard [28]
22Yang Jiao [37] [41]
23Ralph E. Johnson [10]
24Christian Kästner [44]
25David Kitchin [22] [28] [31] [32] [39]
26Patrick Linskey [17]
27Mary E. S. Loomis [11]
28Roberto E. Lopez-Herrejon [15]
29Neil Loughran [44]
30Erik Meijer [17]
31Jayadev Misra [21] [22] [26] [32] [34] [39]
32John C. Mitchell [4]
33Oscar Nierstrasz [12] [44]
34Lars E. Olson [43]
35Walter G. Olthoff [2] [4]
36Klaus Ostermann [16]
37Jens Palsberg [3] [13]
38Sourabh Patwardhan [21]
39Adrian Quark [39]
40Siddhartha Rai [14]
41Sidney Rosario [28]
42Ken Rugg [17]
43Craig Russell [17]
44Yen-Ping Shan [11]
45Alan Snyder [11] [12]
46Sol Swords [23]
47Peri L. Tarr [24] [25]
48Sahil Thaker [31]
49Eli Tilevich [37] [41]
50Bob Walker [17]
51Ian Wehrman [32]
52Ben Wiedermann [29] [35]
53Anthony S. Williams [12]
54Marianne Winslett [43]
55Rebecca Wirfs-Brock [10]
56Christof Wittig [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)