BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × China
1 × Denmark
1 × Germany
1 × Italy
1 × The Netherlands
10 × USA
2 × Canada
3 × United Kingdom
4 × France
Collaborated with:
T.v.d.Storm A.Loh B.C.d.S.Oliveira D.S.Batory A.Ibrahim S.Nedunuri B.Wiedermann W.L.Hill P.S.Canning B.Delaware A.Shali D.Kitchin S.Rai G.Bracha J.Palsberg W.G.Olthoff D.R.Smith E.Ernst K.Ostermann R.E.Lopez-Herrejon Y.Jiao E.Tilevich S.Thaker Arthur Michener Peters John A. Thywissen Yuepeng Wang 0001 I.Dillig S.K.Lahiri J.C.Mitchell S.Erdweg M.Völter M.Boersma R.Bosman A.Gerritsen A.Hulshout S.Kelly G.D.P.Konat P.J.Molina M.Palatnik R.Pohjonen E.Schindler K.Schindler R.Solmi V.A.Vergu E.Visser K.v.d.Vlist G.Wachsmuth J.v.d.Woning
Talks about:
object (12) program (5) queri (4) safe (4) composit (3) persist (3) inherit (3) orient (3) type (3) data (3)

♂ Person: William R. Cook

DBLP DBLP: Cook:William_R=

Facilitated 3 volumes:

MoDELS 2011PracticalTrackPrCo

Contributed to:

ECOOP 20132013
SLE 20132013
ECOOP 20122012
FM 20122012
ICFP 20122012
Onward! 20122012
SLE 20122012
SCP, 20142014
OOPSLA 20112011
ECOOP 20092009
ESEC/FSE 20092009
GPCE 20092009
OOPSLA 20092009
OOPSLA 20082008
GPCE 20072007
POPL 20072007
ECOOP 20062006
POPL 20062006
ECOOP 20052005
ICSE 20052005
OOPSLA 19921992
OOPSLA 19901990
POPL 19901990
ECOOP 19891989
FPCA 19891989
OOPSLA 19891989
OOPSLA 20162016
POPL 20182018

Wrote 31 papers:

ECOOP-2013-OliveiraSLC #algebra #feature model #programming
Feature-Oriented Programming with Object Algebras (BCdSO, TvdS, AL, WRC), pp. 27–51.
SLE-2013-ErdwegSVBBCGHKLKMPPSSSVVVWW #challenge #language workbench #state of the art
The State of the Art in Language Workbenches — Conclusions from the Language Workbench Challenge (SE, TvdS, MV, MB, RB, WRC, AG, AH, SK, AL, GDPK, PJM, MP, RP, ES, KS, RS, VAV, EV, KvdV, GW, JvdW), pp. 197–217.
ECOOP-2012-OliveiraC #algebra
Extensibility for the Masses — Practical Extensibility with Object Algebras (BCdSO, WRC), pp. 2–27.
FM-2012-NedunuriSC #algorithm #performance
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
ICFP-2012-OliveiraC #functional #graph #programming
Functional programming with structured graphs (BCdSO, WRC), pp. 77–88.
Onward-2012-LohSC #abstraction #composition
Managed data: modular strategies for data abstraction (AL, TvdS, WRC), pp. 179–194.
Object Grammars (TvdS, WRC, AL), pp. 4–23.
SLE-J-2012-StormCL #design #implementation
The design and implementation of Object Grammars (TvdS, WRC, AL), pp. 460–487.
OOPSLA-2011-DelawareCB #product line #theorem
Product lines of theorems (BD, WRC, DSB), pp. 595–608.
OOPSLA-2011-ShaliC #hybrid #partial evaluation
Hybrid partial evaluation (AS, WRC), pp. 375–390.
ECOOP-2009-IbrahimJTC #composition
Remote Batch Invocation for Compositional Object Services (AI, YJ, ET, WRC), pp. 595–617.
ESEC-FSE-2009-DelawareCB #composition
Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.
GPCE-2009-NedunuriC #performance #problem #source code #synthesis
Synthesis of fast programs for maximum segment sum problems (SN, WRC), pp. 117–126.
OOPSLA-2009-Cook #abstraction #comprehension #on the #revisited
On understanding data abstraction, revisited (WRC), pp. 557–572.
OOPSLA-2008-WiedermannIC #interprocedural #persistent #query
Interprocedural query extraction for transparent persistence (BW, AI, WRC), pp. 19–36.
GPCE-2007-ThakerBKC #composition #product line
Safe composition of product lines (ST, DSB, DK, WRC), pp. 95–104.
POPL-2007-WiedermannC #persistent #query #static analysis
Extracting queries by static analysis of transparent persistence (BW, WRC), pp. 199–210.
Peak Objects (WRC), pp. 180–185.
ECOOP-2006-IbrahimC #architecture #automation #persistent #profiling #traversal
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures (AI, WRC), pp. 50–73.
POPL-2006-ErnstOC #calculus
A virtual class calculus (EE, KO, WRC), pp. 270–282.
ECOOP-2005-Lopez-HerrejonBC #composition
Evaluating Support for Features in Advanced Modularization Technologies (RELH, DSB, WRC), pp. 169–194.
ICSE-2005-CookR #execution #query #static typing
Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
OOPSLA-1992-Cook #interface #specification
Interfaces and Specifications for the Smalltalk-80 Collection Classes (WRC), pp. 1–15.
OOPSLA-ECOOP-1990-BrachaC #inheritance #mixin
Mixin-based Inheritance (GB, WRC), pp. 303–311.
POPL-1990-CookHC #inheritance #type system
Inheritance Is Not Subtyping (WRC, WLH, PSC), pp. 125–135.
ECOOP-1989-Cook #eiffel #type safety
A Proposal for Making Eiffel Type-Safe (WRC), pp. 57–70.
FPCA-1989-CanningCHOM #bound #morphism #object-oriented #polymorphism #programming
F-Bounded Polymorphism for Object-Oriented Programming (PSC, WRC, WLH, WGO, JCM), pp. 273–280.
OOPSLA-1989-CanningCHO #interface #object-oriented #programming
Interfaces for Strongly-Typed Object-Oriented Programming (PSC, WRC, WLH, WGO), pp. 457–467.
OOPSLA-1989-CookP #correctness #inheritance #semantics
A Denotational Semantics of Inheritance and its Correctness (WRC, JP), pp. 433–443.
OOPSLA-2016-PetersKTC #approach #named
OrcO: a concurrency-first approach to objects (AMP, DK, JAT, WRC), pp. 548–567.
POPL-2018-0001DLC #equivalence #verification
Verifying equivalence of database-driven applications (YW0, ID, SKL, WRC), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.