Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: William R. Cook
@inproceedings{DBLP:conf/sbmf/MehtaC20,
author = {Mihir Parang Mehta and
William R. Cook},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Separation Logic-Based Verification Atop a Binary-Compatible Filesystem
Model},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {155--170},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_10},
doi = {10.1007/978-3-030-63882-5\_10},
timestamp = {Mon, 23 Nov 2020 16:12:24 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/MehtaC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MehtaC19,
author = {Mihir Parang Mehta and
William R. Cook},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {Binary-Compatible Verification of Filesystems with {ACL2}},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, September 9-12, 2019, Portland, OR, {USA}},
series = {LIPIcs},
volume = {141},
pages = {25:1--25:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.25},
doi = {10.4230/LIPICS.ITP.2019.25},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/MehtaC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001DLC18,
author = {Yuepeng Wang and
Isil Dillig and
Shuvendu K. Lahiri and
William R. Cook},
title = {Verifying equivalence of database-driven applications},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {56:1--56:29},
year = {2018},
url = {https://doi.org/10.1145/3158144},
doi = {10.1145/3158144},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/0001DLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07660,
author = {Yuepeng Wang and
Isil Dillig and
Shuvendu K. Lahiri and
William R. Cook},
title = {Verifying Equivalence of Database-Driven Applications},
journal = {CoRR},
volume = {abs/1710.07660},
year = {2017},
url = {http://arxiv.org/abs/1710.07660},
eprinttype = {arXiv},
eprint = {1710.07660},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ThywissenPC16,
author = {John A. Thywissen and
Arthur Michener Peters and
William R. Cook},
title = {Implicitly Distributing Pervasively Concurrent Programs: Extended
abstract},
booktitle = {First Workshop on Programming Models and Languages for Distributed
Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016},
pages = {1},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2957319.2957370},
doi = {10.1145/2957319.2957370},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ThywissenPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PetersKTC16,
author = {Arthur Michener Peters and
David Kitchin and
John A. Thywissen and
William R. Cook},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {OrcO: a concurrency-first approach to objects},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {548--567},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984022},
doi = {10.1145/2983990.2984022},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PetersKTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ErdwegSVTBCGH0L15,
author = {Sebastian Erdweg and
Tijs van der Storm and
Markus V{\"{o}}lter and
Laurence Tratt and
Remi Bosman and
William R. Cook and
Albert Gerritsen and
Angelo Hulshout and
Steven Kelly and
Alex Loh and
Gabri{\"{e}}l D. P. Konat and
Pedro J. Molina and
Martin Palatnik and
Risto Pohjonen and
Eugen Schindler and
Klemens Schindler and
Riccardo Solmi and
Vlad A. Vergu and
Eelco Visser and
Kevin van der Vlist and
Guido Wachsmuth and
Jimi van der Woning},
title = {Evaluating and comparing language workbenches: Existing results and
benchmarks for the future},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {24--47},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.08.007},
doi = {10.1016/J.CL.2015.08.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/ErdwegSVTBCGH0L15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/StormCL14,
author = {Tijs van der Storm and
William R. Cook and
Alex Loh},
title = {The design and implementation of Object Grammars},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {460--487},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.023},
doi = {10.1016/J.SCICO.2014.02.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/StormCL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OliveiraSLC13,
author = {Bruno C. d. S. Oliveira and
Tijs van der Storm and
Alex Loh and
William R. Cook},
editor = {Giuseppe Castagna},
title = {Feature-Oriented Programming with Object Algebras},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {27--51},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_2},
doi = {10.1007/978-3-642-39038-8\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/OliveiraSLC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ErdwegSVBBCGHKLKMPPSSSVVVWW13,
author = {Sebastian Erdweg and
Tijs van der Storm and
Markus V{\"{o}}lter and
Meinte Boersma and
Remi Bosman and
William R. Cook and
Albert Gerritsen and
Angelo Hulshout and
Steven Kelly and
Alex Loh and
Gabri{\"{e}}l D. P. Konat and
Pedro J. Molina and
Martin Palatnik and
Risto Pohjonen and
Eugen Schindler and
Klemens Schindler and
Riccardo Solmi and
Vlad A. Vergu and
Eelco Visser and
Kevin van der Vlist and
Guido Wachsmuth and
Jimi van der Woning},
editor = {Martin Erwig and
Richard F. Paige and
Eric Van Wyk},
title = {The State of the Art in Language Workbenches - Conclusions from the
Language Workbench Challenge},
booktitle = {Software Language Engineering - 6th International Conference, {SLE}
2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8225},
pages = {197--217},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02654-1\_11},
doi = {10.1007/978-3-319-02654-1\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/ErdwegSVBBCGHKLKMPPSSSVVVWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OliveiraSC12,
author = {Bruno C. d. S. Oliveira and
Tom Schrijvers and
William R. Cook},
title = {{MRI:} Modular reasoning about interference in incremental programming},
journal = {J. Funct. Program.},
volume = {22},
number = {6},
pages = {797--852},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000354},
doi = {10.1017/S0956796812000354},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/OliveiraSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OliveiraC12,
author = {Bruno C. d. S. Oliveira and
William R. Cook},
editor = {James Noble},
title = {Extensibility for the Masses - Practical Extensibility with Object
Algebras},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {2--27},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_2},
doi = {10.1007/978-3-642-31057-7\_2},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OliveiraC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NedunuriSC12,
author = {Srinivas Nedunuri and
Douglas R. Smith and
William R. Cook},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Theory and Techniques for Synthesizing Efficient Breadth-First Search
Algorithms},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {308--325},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_27},
doi = {10.1007/978-3-642-32759-9\_27},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/NedunuriSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OliveiraC12,
author = {Bruno C. d. S. Oliveira and
William R. Cook},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Functional programming with structured graphs},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {77--88},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364541},
doi = {10.1145/2364527.2364541},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OliveiraC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LohSC12,
author = {Alex Loh and
Tijs van der Storm and
William R. Cook},
editor = {Gary T. Leavens and
Jonathan Edwards},
title = {Managed data: modular strategies for data abstraction},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2012, part of {SPLASH} '12, Tucson, AZ, USA, October 21-26,
2012},
pages = {179--194},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384592.2384609},
doi = {10.1145/2384592.2384609},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LohSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/StormCL12,
author = {Tijs van der Storm and
William R. Cook and
Alex Loh},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Object Grammars},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {4--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_2},
doi = {10.1007/978-3-642-36089-3\_2},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/StormCL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-0869,
author = {Srinivas Nedunuri and
William R. Cook and
Douglas R. Smith},
editor = {Doron A. Peled and
Sven Schewe},
title = {Theory and Techniques for Synthesizing a Family of Graph Algorithms},
booktitle = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
pages = {33--46},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84.3},
doi = {10.4204/EPTCS.84.3},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/KwonTC01,
author = {Young{-}Woo Kwon and
Eli Tilevich and
William R. Cook},
title = {Which middleware platform should you choose for your next remote service?},
journal = {Serv. Oriented Comput. Appl.},
volume = {5},
number = {2},
pages = {61--70},
year = {2011},
url = {https://doi.org/10.1007/s11761-011-0082-y},
doi = {10.1007/S11761-011-0082-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soca/KwonTC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/CookW11,
author = {William R. Cook and
Ben Wiedermann},
editor = {Nate Foster and
Anastasios Kementsietsidis},
title = {Remote Batch Invocation for {SQL} Databases},
booktitle = {Database Programming Languages - {DBPL} 201, 13th International Symposium,
Seattle, Washington, USA, August 29, 2011. Proceedings},
year = {2011},
url = {http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cook.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/CookW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShaliC11,
author = {Amin Shali and
William R. Cook},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Hybrid partial evaluation},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {375--390},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048098},
doi = {10.1145/2048066.2048098},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ShaliC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DelawareCB11,
author = {Benjamin Delaware and
William R. Cook and
Don S. Batory},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Product lines of theorems},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {595--608},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048113},
doi = {10.1145/2048066.2048113},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DelawareCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0781,
author = {William R. Cook and
Ralf L{\"{a}}mmel},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Tutorial on Online Partial Evaluation},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {168--180},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.8},
doi = {10.4204/EPTCS.66.8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ApelCCN11,
author = {Sven Apel and
William R. Cook and
Krzysztof Czarnecki and
Oscar Nierstrasz},
title = {Feature-Oriented Software Development {(FOSD)} (Dagstuhl Seminar 11021)},
journal = {Dagstuhl Reports},
volume = {1},
number = {1},
pages = {27--41},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.1.27},
doi = {10.4230/DAGREP.1.1.27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ApelCCN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/KwonTC10,
author = {Young{-}Woo Kwon and
Eli Tilevich and
William R. Cook},
title = {An Assessment of Middleware Platforms for Accessing Remote Services},
booktitle = {2010 {IEEE} International Conference on Services Computing, {SCC}
2010, Miami, Florida, USA, July 5-10, 2010},
pages = {482--489},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SCC.2010.20},
doi = {10.1109/SCC.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/KwonTC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/OliveiraSC10,
author = {Bruno C. d. S. Oliveira and
Tom Schrijvers and
William R. Cook},
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Mario S{\"{u}}dholt},
title = {EffectiveAdvice: disciplined advice with explicit effects},
booktitle = {Proceedings of the 9th International Conference on Aspect-Oriented
Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
March 15-19, 2010},
pages = {109--120},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1739230.1739244},
doi = {10.1145/1739230.1739244},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/OliveiraSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoodb/Cook10,
author = {William R. Cook},
editor = {Alan Dearle and
Roberto V. Zicari},
title = {Unifying Remote Data, Remote Procedures, and Web Services},
booktitle = {Objects and Databases - Third International Conference, {ICOODB} 2010,
Frankfurt/Main, Germany, September 28-30, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6348},
pages = {8},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16092-9\_3},
doi = {10.1007/978-3-642-16092-9\_3},
timestamp = {Tue, 17 Nov 2020 10:58:09 +0100},
biburl = {https://dblp.org/rec/conf/icoodb/Cook10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NedunuriSC10,
author = {Srinivas Nedunuri and
Douglas R. Smith and
William R. Cook},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {A Class of Greedy Algorithms and Its Relation to Greedoids},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {352--366},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_24},
doi = {10.1007/978-3-642-14808-8\_24},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/NedunuriSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/Cook10,
author = {William R. Cook},
editor = {Srinivas Padmanabhuni and
Sanjeev K. Aggarwal and
Umesh Bellur},
title = {Breaking through to remote data and services},
booktitle = {Proceeding of the 3rd Annual India Software Engineering Conference,
{ISEC} 2010, Mysore, India, February 25-27, 2010},
pages = {161--162},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1730874.1730877},
doi = {10.1145/1730874.1730877},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/Cook10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NedunuriSC10,
author = {Srinivas Nedunuri and
Douglas R. Smith and
William R. Cook},
editor = {C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Synthesis of Greedy Algorithms Using Dominance Relations},
booktitle = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
USA, April 13-15, 2010. Proceedings},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2010-216215}},
pages = {97--108},
year = {2010},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NedunuriSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/ApelLLKC10,
author = {Sven Apel and
J{\"{o}}rg Liebig and
Christian Lengauer and
Christian K{\"{a}}stner and
William R. Cook},
editor = {David Benavides and
Don S. Batory and
Paul Gr{\"{u}}nbacher},
title = {Semistructured Merge in Revision Control Systems},
booktitle = {Fourth International Workshop on Variability Modelling of Software-Intensive
Systems, Linz, Austria, January 27-29, 2010. Proceedings},
series = {ICB-Research Report},
volume = {37},
pages = {13--19},
publisher = {Universit{\"{a}}t Duisburg-Essen},
year = {2010},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
timestamp = {Wed, 28 Oct 2020 08:39:42 +0100},
biburl = {https://dblp.org/rec/conf/vamos/ApelLLKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010,
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459},
doi = {10.1145/1869459},
isbn = {978-1-4503-0203-6},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010c,
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542},
doi = {10.1145/1869542},
isbn = {978-1-4503-0240-1},
timestamp = {Fri, 11 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/2010c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/OlsonGCW09,
author = {Lars E. Olson and
Carl A. Gunter and
William R. Cook and
Marianne Winslett},
editor = {Ehud Gudes and
Jaideep Vaidya},
title = {Implementing Reflective Access Control in {SQL}},
booktitle = {Data and Applications Security XXIII, 23rd Annual {IFIP} {WG} 11.3
Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5645},
pages = {17--32},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03007-9\_2},
doi = {10.1007/978-3-642-03007-9\_2},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/OlsonGCW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/FalconC09,
author = {Jose Falcon and
William R. Cook},
editor = {Walid Mohamed Taha},
title = {Gel: {A} Generic Extensible Language},
booktitle = {Domain-Specific Languages, {IFIP} {TC} 2 Working Conference, {DSL}
2009, Oxford, UK, July 15-17, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5658},
pages = {58--77},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03034-5\_4},
doi = {10.1007/978-3-642-03034-5\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/dsl/FalconC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/IbrahimJTC09,
author = {Ali Ibrahim and
Yang Jiao and
Eli Tilevich and
William R. Cook},
editor = {Sophia Drossopoulou},
title = {Remote Batch Invocation for Compositional Object Services},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {595--617},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_27},
doi = {10.1007/978-3-642-03013-0\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/IbrahimJTC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/IbrahimFCT09,
author = {Ali Ibrahim and
Marc Fisher II and
William R. Cook and
Eli Tilevich},
editor = {Rik Eshuis and
Paul W. P. J. Grefen and
George Angelos Papadopoulos},
title = {Remote Batch Invocation for Web Services: Document-Oriented Web Services
with Object-Oriented Interfaces},
booktitle = {Seventh {IEEE} European Conference on Web Services {(ECOWS} 2009),
9-11 November 2009, Eindhoven, The Netherlands},
pages = {190--199},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ECOWS.2009.16},
doi = {10.1109/ECOWS.2009.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/IbrahimFCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/DelawareCB09,
author = {Benjamin Delaware and
William R. Cook and
Don S. Batory},
editor = {Mario S{\"{u}}dholt},
title = {A machine-checked model of safe composition},
booktitle = {Proceedings of the 8th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2009, Charlottesville, Virginia, USA, March 2, 2009},
pages = {31--35},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509837.1509846},
doi = {10.1145/1509837.1509846},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/DelawareCB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KitchinQCM09,
author = {David Kitchin and
Adrian Quark and
William R. Cook and
Jayadev Misra},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {The Orc Programming Language},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {1--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_1},
doi = {10.1007/978-3-642-02138-1\_1},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/KitchinQCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/NedunuriC09,
author = {Srinivas Nedunuri and
William R. Cook},
editor = {Jeremy G. Siek and
Bernd Fischer},
title = {Synthesis of fast programs for maximum segment sum problems},
booktitle = {Generative Programming and Component Engineering, 8th International
Conference, {GPCE} 2009, Denver, Colorado, USA, October 4-5, 2009,
Proceedings},
pages = {117--126},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1621607.1621626},
doi = {10.1145/1621607.1621626},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/gpce/NedunuriC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/TilevichCJ09,
author = {Eli Tilevich and
William R. Cook and
Yang Jiao},
title = {Explicit Batching for Distributed Objects},
booktitle = {29th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2009), 22-26 June 2009, Montreal, Qu{\'{e}}bec, Canada},
pages = {543--552},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICDCS.2009.39},
doi = {10.1109/ICDCS.2009.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/TilevichCJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NedunuriCS09,
author = {Srinivas Nedunuri and
William R. Cook and
Douglas R. Smith},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Tactical Synthesis of Efficient Global Search Algorithms},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {171--175},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NedunuriCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Cook09,
author = {William R. Cook},
editor = {Shail Arora and
Gary T. Leavens},
title = {On understanding data abstraction, revisited},
booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {557--572},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640133},
doi = {10.1145/1640089.1640133},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Cook09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BettinCCK09,
author = {Jorn Bettin and
William R. Cook and
Tony Clark and
Steven Kelly},
editor = {Shail Arora and
Gary T. Leavens},
title = {Knowledge industry survival strategy {(KISS):} fundamental principles
and interoperability requirements for domain specific modeling languages},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {709--710},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1639976},
doi = {10.1145/1639950.1639976},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BettinCCK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DelawareCB09,
author = {Benjamin Delaware and
William R. Cook and
Don S. Batory},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Fitting the pieces together: a machine-checked model of safe composition},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {243--252},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595733},
doi = {10.1145/1595696.1595733},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DelawareCB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2009fosd,
editor = {Sven Apel and
William R. Cook and
Krzysztof Czarnecki and
Christian K{\"{a}}stner and
Neil Loughran and
Oscar Nierstrasz},
title = {Proceedings of the First International Workshop on Feature-Oriented
Software Development, {FOSD} 2009, Denver, Colorado, USA, October
6, 2009},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2009},
url = {https://dl.acm.org/doi/10.1145/1629716},
doi = {10.1145/1629716},
isbn = {978-1-60558-567-3},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2009fosd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Cook08,
author = {William R. Cook},
title = {High-level problems in teaching undergraduate programming languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {55--58},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480839},
doi = {10.1145/1480828.1480839},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Cook08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WehrmanKCM08,
author = {Ian Wehrman and
David Kitchin and
William R. Cook and
Jayadev Misra},
title = {A timed semantics of Orc},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
pages = {234--248},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.037},
doi = {10.1016/J.TCS.2008.04.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WehrmanKCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WiedermannIC08,
author = {Ben Wiedermann and
Ali Ibrahim and
William R. Cook},
editor = {Gail E. Harris},
title = {Interprocedural query extraction for transparent persistence},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {19--36},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449767},
doi = {10.1145/1449764.1449767},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WiedermannIC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CookM08,
author = {William R. Cook and
Jayadev Misra},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Structured Interacting Computations},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {139--145},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_9},
doi = {10.1007/978-3-540-89437-7\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/CookM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/CookB07,
author = {William R. Cook and
Janel Barfield},
title = {Web Service versus Distributed Objects: {A} Case Study of Performance
and Interface Design},
journal = {Int. J. Web Serv. Res.},
volume = {4},
number = {3},
pages = {49--64},
year = {2007},
url = {https://doi.org/10.4018/jwsr.2007070103},
doi = {10.4018/JWSR.2007070103},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwsr/CookB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MisraC07,
author = {Jayadev Misra and
William R. Cook},
title = {Computation Orchestration},
journal = {Softw. Syst. Model.},
volume = {6},
number = {1},
pages = {83--110},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0012-1},
doi = {10.1007/S10270-006-0012-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MisraC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ThakerBKC07,
author = {Sahil Thaker and
Don S. Batory and
David Kitchin and
William R. Cook},
editor = {Charles Consel and
Julia L. Lawall},
title = {Safe composition of product lines},
booktitle = {Generative Programming and Component Engineering, 6th International
Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings},
pages = {95--104},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289971.1289989},
doi = {10.1145/1289971.1289989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/ThakerBKC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hopl/Cook07,
author = {William R. Cook},
editor = {Barbara G. Ryder and
Brent Hailpern},
title = {AppleScript},
booktitle = {Proceedings of the Third {ACM} {SIGPLAN} History of Programming Languages
Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
pages = {1--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1238844.1238845},
doi = {10.1145/1238844.1238845},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hopl/Cook07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WiedermannC07,
author = {Ben Wiedermann and
William R. Cook},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Extracting queries by static analysis of transparent persistence},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {199--210},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190248},
doi = {10.1145/1190216.1190248},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/WiedermannC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/RosarioKBCHJ07,
author = {Sidney Rosario and
David Kitchin and
Albert Benveniste and
William R. Cook and
Stefan Haar and
Claude Jard},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Event Structure Semantics of Orc},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {154--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_11},
doi = {10.1007/978-3-540-79230-7\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/RosarioKBCHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/SwordsC06,
author = {Sol Swords and
William R. Cook},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Soundness of the simply typed lambda calculus in {ACL2}},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {35--39},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1217982},
doi = {10.1145/1217975.1217982},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl2/SwordsC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KitchinCM06,
author = {David Kitchin and
William R. Cook and
Jayadev Misra},
editor = {Christel Baier and
Holger Hermanns},
title = {A Language for Task Orchestration and Its Semantic Properties},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {477--491},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_32},
doi = {10.1007/11817949\_32},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/KitchinCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CookPM06,
author = {William R. Cook and
Sourabh Patwardhan and
Jayadev Misra},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Workflow Patterns in Orc},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {82--96},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_6},
doi = {10.1007/11767954\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CookPM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/IbrahimC06,
author = {Ali Ibrahim and
William R. Cook},
editor = {Dave Thomas},
title = {Automatic Prefetching by Traversal Profiling in Object Persistence
Architectures},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {50--73},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_4},
doi = {10.1007/11785477\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/IbrahimC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cook06a,
author = {William R. Cook},
editor = {Dave Thomas},
title = {Peak Objects},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {180--185},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_10},
doi = {10.1007/11785477\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Cook06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/CookB06,
author = {William R. Cook and
Janel Barfield},
title = {Web Services versus Distributed Objects: {A} Case Study of Performance
and Interface Design},
booktitle = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006),
18-22 September 2006, Chicago, Illinois, {USA}},
pages = {419--426},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICWS.2006.145},
doi = {10.1109/ICWS.2006.145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/CookB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CookGLMRRWW06,
author = {William R. Cook and
Robert Greene and
Patrick Linskey and
Erik Meijer and
Ken Rugg and
Craig Russell and
Bob Walker and
Christof Wittig},
editor = {Peri L. Tarr and
William R. Cook},
title = {Objects and databases: state of the union in 2006},
booktitle = {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}},
pages = {926--928},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176746},
doi = {10.1145/1176617.1176746},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CookGLMRRWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ErnstOC06,
author = {Erik Ernst and
Klaus Ostermann and
William R. Cook},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {A virtual class calculus},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {270--282},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111062},
doi = {10.1145/1111037.1111062},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ErnstOC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2006,
editor = {Peri L. Tarr and
William R. Cook},
title = {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}},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473},
doi = {10.1145/1167473},
isbn = {1-59593-348-4},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2006c,
editor = {Peri L. Tarr and
William R. Cook},
title = {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}},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617},
doi = {10.1145/1176617},
isbn = {1-59593-491-X},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2006c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Lopez-HerrejonBC05,
author = {Roberto E. Lopez{-}Herrejon and
Don S. Batory and
William R. Cook},
editor = {Andrew P. Black},
title = {Evaluating Support for Features in Advanced Modularization Technologies},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {169--194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_8},
doi = {10.1007/11531142\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Lopez-HerrejonBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CookR05,
author = {William R. Cook and
Siddhartha Rai},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Safe query objects: statically typed objects as remotely executable
queries},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {97--106},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062488},
doi = {10.1145/1062455.1062488},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CookR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CookP94,
author = {William R. Cook and
Jens Palsberg},
title = {A Denotational Semantics of Inheritance and Its Correctness},
journal = {Inf. Comput.},
volume = {114},
number = {2},
pages = {329--350},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1090},
doi = {10.1006/INCO.1994.1090},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CookP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShanCCCLS93,
author = {Yen{-}Ping Shan and
Thomas A. Cargill and
Brad Cox and
William R. Cook and
Mary E. S. Loomis and
Alan Snyder},
editor = {Timlynn Babitsky and
Jim Salmons},
title = {Panel - Is Multiple Inheritance Essential to OOP?},
booktitle = {Proceedings of the Eighth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1993, Washington, DC,
USA, September 26 - October 1, 1993},
pages = {360--363},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165854.165923},
doi = {10.1145/165854.165923},
timestamp = {Wed, 30 Mar 2022 13:56:34 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ShanCCCLS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JohnsonBBCGW93,
author = {Ralph E. Johnson and
Kent L. Beck and
Grady Booch and
William R. Cook and
Richard P. Gabriel and
Rebecca Wirfs{-}Brock},
editor = {Timlynn Babitsky and
Jim Salmons},
title = {How to Get a Paper Accepted at {OOPSLA} (Panel)},
booktitle = {Proceedings of the Eighth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1993, Washington, DC,
USA, September 26 - October 1, 1993},
pages = {429--436},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165854.165934},
doi = {10.1145/165854.165934},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JohnsonBBCGW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/oopsm/NierstraszSWC94,
author = {Oscar Nierstrasz and
Alan Snyder and
Anthony S. Williams and
William R. Cook},
editor = {Jerry L. Archibald and
Mark C. Wilkes},
title = {Open distributed processing (panel)},
booktitle = {Addendum to the Proceedings on Object-Oriented Programming Systems,
Languages, and Applications, {OOPSLA} 1993 Addendum, Washington, D.C.,
USA, September 26 - October 1, 1993},
pages = {67--71},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/260303.260322},
doi = {10.1145/260303.260322},
timestamp = {Fri, 20 May 2022 14:25:57 +0200},
biburl = {https://dblp.org/rec/journals/oopsm/NierstraszSWC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Cook92,
author = {William R. Cook},
editor = {John R. Pugh},
title = {Interfaces and Specifications for the Smalltalk-80 Collection Classes},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {1--15},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.141938},
doi = {10.1145/141936.141938},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Cook92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrachaC90,
author = {Gilad Bracha and
William R. Cook},
editor = {Akinori Yonezawa},
title = {Mixin-based Inheritance},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications / European Conference on Object-Oriented Programming,
{OOPSLA/ECOOP} 1990, Ottawa, Canada, October 21-25, 1990, Proceedings},
pages = {303--311},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/97945.97982},
doi = {10.1145/97945.97982},
timestamp = {Wed, 30 Mar 2022 13:54:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BrachaC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookHC90,
author = {William R. Cook and
Walter L. Hill and
Peter S. Canning},
editor = {Frances E. Allen},
title = {Inheritance Is Not Subtyping},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {125--135},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96721},
doi = {10.1145/96709.96721},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CookHC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Cook90,
author = {William R. Cook},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Object-Oriented Programming Versus Abstract Data Types},
booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
The Netherlands, May 28 - June 1, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {489},
pages = {151--178},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019443},
doi = {10.1007/BFB0019443},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Cook90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Cook89,
author = {William R. Cook},
title = {A denotational semantics of inheritance},
school = {Brown University, {USA}},
year = {1989},
url = {https://cs.brown.edu/research/pubs/theses/phd/1989/cook.pdf},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Cook89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cook89,
author = {William R. Cook},
editor = {S. Cook},
title = {A Proposal for Making Eiffel Type-Safe},
booktitle = {{ECOOP} '89: Proceedings of the Third European Conference on Object-Oriented
Programming, Nottingham, UK, July 10-14, 1989},
pages = {57--70},
publisher = {Cambridge University Press},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Cook89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CanningCHOM89,
author = {Peter S. Canning and
William R. Cook and
Walter L. Hill and
Walter G. Olthoff and
John C. Mitchell},
editor = {Joseph E. Stoy},
title = {F-Bounded Polymorphism for Object-Oriented Programming},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {273--280},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99392},
doi = {10.1145/99370.99392},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CanningCHOM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CookP89,
author = {William R. Cook and
Jens Palsberg},
editor = {George Bosworth},
title = {A Denotational Semantics of Inheritance and its Correctness},
booktitle = {Conference on Object-Oriented Programming: Systems, Languages, and
Applications, {OOPSLA} 1989, New Orleans, Louisiana, USA, October
1-6, 1989, Proceedings},
pages = {433--443},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74877.74922},
doi = {10.1145/74877.74922},
timestamp = {Wed, 30 Mar 2022 13:54:19 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CookP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CanningCHO89,
author = {Peter S. Canning and
William R. Cook and
Walter L. Hill and
Walter G. Olthoff},
editor = {George Bosworth},
title = {Interfaces for Strongly-Typed Object-Oriented Programming},
booktitle = {Conference on Object-Oriented Programming: Systems, Languages, and
Applications, {OOPSLA} 1989, New Orleans, Louisiana, USA, October
1-6, 1989, Proceedings},
pages = {457--467},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74877.74924},
doi = {10.1145/74877.74924},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CanningCHO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Cook87,
author = {William R. Cook},
editor = {Leigh R. Power and
Zvi Weiss},
title = {{BOF} on inheritance},
booktitle = {Addendum to the Proceedings on Object-Oriented Programming Systems,
Languages and Applications, {OOPSLA} 1987 Addendum, Orlando, Florida,
USA, October 4-8, 1987},
pages = {41--42},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/62138.62143},
doi = {10.1145/62138.62143},
timestamp = {Wed, 30 Mar 2022 17:08:44 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Cook87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
