default search action
BibTeX 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 = {Wed, 21 Aug 2024 22:46: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} }
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.