publications: - title: "Event Structure Semantics of Orc" author: - name: "Sidney Rosario" link: "https://researchr.org/alias/sidney-rosario" - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "Albert Benveniste" link: "https://researchr.org/alias/albert-benveniste" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Stefan Haar" link: "https://researchr.org/alias/stefan-haar" - name: "Claude Jard" link: "https://researchr.org/alias/claude-jard" year: "2008" doi: "10.1007/978-3-540-79230-7_11" abstract: "Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations." researchr: "https://researchr.org/publication/Rosario2008" cites: 0 citedby: 0 pages: "154-168" booktitle: "Web Services and Formal Methods" volume: "4937" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79229-1" kind: "inproceedings" key: "Rosario2008" - title: "Interprocedural query extraction for transparent persistence" author: - name: "Ben Wiedermann" link: "https://researchr.org/alias/ben-wiedermann" - name: "Ali Ibrahim" link: "https://researchr.org/alias/ali-ibrahim" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2008" doi: "http://doi.acm.org/10.1145/1449764.1449767" links: doi: "http://doi.acm.org/10.1145/1449764.1449767" researchr: "https://researchr.org/publication/WiedermannIC08" cites: 0 citedby: 0 pages: "19-36" 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" editor: - name: "Gail E. Harris" link: "https://researchr.org/alias/gail-e.-harris" publisher: "ACM" isbn: "978-1-60558-215-3" kind: "inproceedings" key: "WiedermannIC08" - title: "MRI: Modular reasoning about interference in incremental programming" author: - name: "Bruno C. D. S. Oliveira" link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira" - name: "Tom Schrijvers" link: "https://researchr.org/alias/tom-schrijvers" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2012" doi: "http://dx.doi.org/10.1017/S0956796812000354" links: doi: "http://dx.doi.org/10.1017/S0956796812000354" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/OliveiraSC12" researchr: "https://researchr.org/publication/OliveiraSC12" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "22" number: "6" pages: "797-852" kind: "article" key: "OliveiraSC12" - title: "Interfaces and Specifications for the Smalltalk-80 Collection Classes" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "1992" researchr: "https://researchr.org/publication/Cook92" cites: 0 citedby: 0 pages: "1-15" booktitle: "OOPSLA" kind: "inproceedings" key: "Cook92" - title: "Objects and databases: state of the union in 2006" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Robert Greene" link: "https://researchr.org/alias/robert-greene" - name: "Patrick Linskey" link: "https://researchr.org/alias/patrick-linskey" - name: "Erik Meijer" link: "https://researchr.org/alias/erik-meijer" - name: "Ken Rugg" link: "https://researchr.org/alias/ken-rugg" - name: "Craig Russell" link: "https://researchr.org/alias/craig-russell" - name: "Bob Walker" link: "https://researchr.org/alias/bob-walker" - name: "Christof Wittig" link: "https://researchr.org/alias/christof-wittig" year: "2006" doi: "http://doi.acm.org/10.1145/1176617.1176746" links: doi: "http://doi.acm.org/10.1145/1176617.1176746" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/CookGLMRRWW06" cites: 0 citedby: 0 pages: "926-928" 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" editor: - name: "Peri L. Tarr" link: "https://researchr.org/alias/peri-l.-tarr" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" publisher: "ACM" isbn: "1-59593-491-X" kind: "inproceedings" key: "CookGLMRRWW06" - title: "Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021)" author: - name: "Sven Apel" link: "https://researchr.org/alias/sven-apel" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Krzysztof Czarnecki" link: "http://www.swen.uwaterloo.ca/~kczarnec/" - name: "Oscar Nierstrasz" link: "http://scg.unibe.ch/staff/oscar" year: "2011" doi: "http://dx.doi.org/10.4230/DagRep.1.1.27" links: doi: "http://dx.doi.org/10.4230/DagRep.1.1.27" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/dagstuhl-reports/ApelCCN11" researchr: "https://researchr.org/publication/ApelCCN11" cites: 0 citedby: 0 journal: "Dagstuhl Reports" volume: "1" number: "1" pages: "27-41" kind: "article" key: "ApelCCN11" - title: "OrcO: a concurrency-first approach to objects" author: - name: "Arthur Michener Peters" link: "https://researchr.org/alias/arthur-michener-peters" - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "John A. Thywissen" link: "https://researchr.org/alias/john-a.-thywissen" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2016" doi: "http://doi.acm.org/10.1145/2983990.2984022" links: doi: "http://doi.acm.org/10.1145/2983990.2984022" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/PetersKTC16" researchr: "https://researchr.org/publication/PetersKTC16" cites: 0 citedby: 0 pages: "548-567" 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" editor: - name: "Eelco Visser" link: "http://eelcovisser.org" - name: "Yannis Smaragdakis" link: "https://researchr.org/alias/yannis-smaragdakis" publisher: "ACM" isbn: "978-1-4503-4444-9" kind: "inproceedings" key: "PetersKTC16" - title: "An Assessment of Middleware Platforms for Accessing Remote Services" author: - name: "Young-Woo Kwon" link: "https://researchr.org/alias/young-woo-kwon" - name: "Eli Tilevich" link: "https://researchr.org/alias/eli-tilevich" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" doi: "http://doi.ieeecomputersociety.org/10.1109/SCC.2010.20" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCC.2010.20" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/IEEEscc/KwonTC10" researchr: "https://researchr.org/publication/KwonTC10" cites: 0 citedby: 0 pages: "482-489" booktitle: "2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010" publisher: "IEEE Computer Society" isbn: "978-0-7695-4126-6" kind: "inproceedings" key: "KwonTC10" - title: "A Proposal for Making Eiffel Type-Safe" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "1989" tags: - "Eiffel" researchr: "https://researchr.org/publication/Cook89" cites: 0 citedby: 0 pages: "57-70" booktitle: "ECOOP" kind: "inproceedings" key: "Cook89" - title: "Computation Orchestration" author: - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2007" month: "March" doi: "10.1007/s10270-006-0012-1" researchr: "https://researchr.org/publication/MisraCook2007" cites: 0 citedby: 1 journal: "Software & Systems Modeling" volume: "6" number: "1" pages: "83-110" kind: "article" key: "MisraCook2007" - title: "Managed data: modular strategies for data abstraction" author: - name: "Alex Loh" link: "https://researchr.org/alias/alex-loh" - name: "Tijs van der Storm" link: "https://researchr.org/alias/tijs-van-der-storm" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2012" doi: "http://doi.acm.org/10.1145/2384592.2384609" links: doi: "http://doi.acm.org/10.1145/2384592.2384609" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/LohSC12" researchr: "https://researchr.org/publication/LohSC12" cites: 0 citedby: 0 pages: "179-194" 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" editor: - name: "Gary T. Leavens" link: "https://researchr.org/alias/gary-t.-leavens" - name: "Jonathan Edwards" link: "https://researchr.org/alias/jonathan-edwards" publisher: "ACM" isbn: "978-1-4503-1562-3" kind: "inproceedings" key: "LohSC12" - title: "Semistructured Merge in Revision Control Systems" author: - name: "Sven Apel" link: "https://researchr.org/alias/sven-apel" - name: "Jörg Liebig" link: "https://researchr.org/alias/j%C3%B6rg-liebig" - name: "Christian Lengauer" link: "https://researchr.org/alias/christian-lengauer" - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf" links: doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vamos/ApelLLKC10" tags: - "control systems" researchr: "https://researchr.org/publication/ApelLLKC10" cites: 0 citedby: 0 pages: "13-19" booktitle: "Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings" editor: - name: "David Benavides" link: "https://researchr.org/alias/david-benavides" - name: "Don S. Batory" link: "https://researchr.org/alias/don-s.-batory" - name: "Paul Grünbacher" link: "http://paul.gruenbacher.at/" volume: "37" series: "ICB-Research Report" publisher: "Universität Duisburg-Essen" kind: "inproceedings" key: "ApelLLKC10" - title: "Soundness of the simply typed lambda calculus in ACL2" author: - name: "Sol Swords" link: "https://researchr.org/alias/sol-swords" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2006" doi: "http://doi.acm.org/10.1145/1217975.1217982" links: doi: "http://doi.acm.org/10.1145/1217975.1217982" tags: - "type soundness" researchr: "https://researchr.org/publication/SwordsC06" cites: 0 citedby: 0 pages: "35-39" booktitle: "Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006" editor: - name: "Panagiotis Manolios" link: "https://researchr.org/alias/panagiotis-manolios" - name: "Matthew Wilding" link: "https://researchr.org/alias/matthew-wilding" publisher: "ACM" isbn: "0-9788493-0-2" kind: "inproceedings" key: "SwordsC06" - title: "Explicit Batching for Distributed Objects" author: - name: "Eli Tilevich" link: "https://researchr.org/alias/eli-tilevich" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Yang Jiao" link: "https://researchr.org/alias/yang-jiao" year: "2009" doi: "http://dx.doi.org/10.1109/ICDCS.2009.39" links: doi: "http://dx.doi.org/10.1109/ICDCS.2009.39" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/TilevichCJ09" cites: 0 citedby: 0 pages: "543-552" booktitle: "29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada" publisher: "IEEE Computer Society" kind: "inproceedings" key: "TilevichCJ09" - title: "Evaluating and comparing language workbenches: Existing results and benchmarks for the future" author: - name: "Sebastian Erdweg" link: "http://www.informatik.uni-marburg.de/~seba/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Markus Völter" link: "http://www.voelter.de/" - name: "Laurence Tratt" link: "https://researchr.org/alias/laurence-tratt" - name: "Remi Bosman" link: "https://researchr.org/alias/remi-bosman" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Albert Gerritsen" link: "https://researchr.org/alias/albert-gerritsen" - name: "Angelo Hulshout" link: "https://researchr.org/alias/angelo-hulshout" - name: "Steven Kelly" link: "http://www.metacase.com/stevek.html" - name: "Alex Loh" link: "https://researchr.org/alias/alex-loh" - name: "Gabriël Konat" link: "http://nl.linkedin.com/in/gabrielkonat" - name: "Pedro J. Molina" link: "https://researchr.org/alias/pedro-j.-molina" - name: "Martin Palatnik" link: "https://researchr.org/alias/martin-palatnik" - name: "Risto Pohjonen" link: "https://researchr.org/alias/risto-pohjonen" - name: "Eugen Schindler" link: "https://researchr.org/alias/eugen-schindler" - name: "Klemens Schindler" link: "https://researchr.org/alias/klemens-schindler" - name: "Riccardo Solmi" link: "https://researchr.org/alias/riccardo-solmi" - name: "Vlad A. Vergu" link: "https://researchr.org/alias/vlad-a.-vergu" - name: "Eelco Visser" link: "http://eelcovisser.org" - name: "Kevin van der Vlist" link: "https://researchr.org/alias/kevin-van-der-vlist" - name: "Guido Wachsmuth" link: "https://www.linkedin.com/in/guidowachsmuth/" - name: "Jimi van der Woning" link: "https://researchr.org/alias/jimi-van-der-woning" year: "2015" doi: "http://dx.doi.org/10.1016/j.cl.2015.08.007" abstract: "Language workbenches are environments for simplifying the creation and use of computer languages. The annual Language Workbench Challenge (LWC) was launched in 2011 to allow the many academic and industrial researchers in this area an opportunity to quantitatively and qualitatively compare their approaches. We first describe all four LWCs to date, before focussing on the approaches used, and results generated, during the third LWC. We give various empirical data for ten approaches from the third LWC. We present a generic feature model within which the approaches can be understood and contrasted. Finally, based on our experiences of the existing LWCs, we propose a number of benchmark problems for future LWCs." links: doi: "http://dx.doi.org/10.1016/j.cl.2015.08.007" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/ErdwegSVTBCGH0L15" researchr: "https://researchr.org/publication/ErdwegSVTBCGH0L15" cites: 0 citedby: 0 journal: "Computer Languages, Systems \\& Structures" volume: "44" pages: "24-47" kind: "article" key: "ErdwegSVTBCGH0L15" - title: "High-level problems in teaching undergraduate programming languages" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2008" doi: "http://doi.acm.org/10.1145/1480828.1480839" links: doi: "http://doi.acm.org/10.1145/1480828.1480839" tags: - "programming languages" - "teaching" - "programming" researchr: "https://researchr.org/publication/Cook08" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "43" number: "11" pages: "55-58" kind: "article" key: "Cook08" - title: "Verifying equivalence of database-driven applications" author: - name: "Yuepeng Wang 0001" link: "https://researchr.org/alias/yuepeng-wang-0001" - name: "Isil Dillig" link: "https://researchr.org/alias/isil-dillig" - name: "Shuvendu K. Lahiri" link: "https://researchr.org/alias/shuvendu-k.-lahiri" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2018" doi: "http://doi.acm.org/10.1145/3158144" links: doi: "http://doi.acm.org/10.1145/3158144" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/0001DLC18" researchr: "https://researchr.org/publication/0001DLC18" cites: 0 citedby: 0 journal: "Proceedings of the ACM on Programming Languages" volume: "2" number: "POPL" kind: "article" key: "0001DLC18" - title: "The design and implementation of Object Grammars" author: - name: "Tijs van der Storm" link: "https://researchr.org/alias/tijs-van-der-storm" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Alex Loh" link: "https://researchr.org/alias/alex-loh" year: "2014" doi: "http://dx.doi.org/10.1016/j.scico.2014.02.023" links: doi: "http://dx.doi.org/10.1016/j.scico.2014.02.023" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/StormCL14" researchr: "https://researchr.org/publication/StormCL14" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "96" pages: "460-487" kind: "article" key: "StormCL14" - title: "Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages" author: - name: "Jorn Bettin" link: "https://researchr.org/alias/jorn-bettin" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Tony Clark" link: "https://researchr.org/alias/tony-clark" - name: "Steven Kelly" link: "https://researchr.org/alias/steven-kelly" year: "2009" doi: "http://doi.acm.org/10.1145/1639950.1639976" links: doi: "http://doi.acm.org/10.1145/1639950.1639976" tags: - "modeling language" - "modeling" - "language modeling" - "principles" - "domain-specific language" researchr: "https://researchr.org/publication/BettinCCK09" cites: 0 citedby: 0 pages: "709-710" 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" editor: - name: "Shail Arora" link: "https://researchr.org/alias/shail-arora" - name: "Gary T. Leavens" link: "https://researchr.org/alias/gary-t.-leavens" publisher: "ACM" isbn: "978-1-60558-768-4" kind: "inproceedings" key: "BettinCCK09" - title: "Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces" author: - name: "Ali Ibrahim" link: "https://researchr.org/alias/ali-ibrahim" - name: "Marc Fisher II" link: "https://researchr.org/alias/marc-fisher-ii" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Eli Tilevich" link: "https://researchr.org/alias/eli-tilevich" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/ECOWS.2009.16" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ECOWS.2009.16" tags: - "web service" - "web services" researchr: "https://researchr.org/publication/IbrahimFCT09" cites: 0 citedby: 0 pages: "190-199" booktitle: "Seventh IEEE European Conference on Web Services (ECOWS 2009), 9-11 November 2009, Eindhoven, The Netherlands" editor: - name: "Rik Eshuis" link: "https://researchr.org/alias/rik-eshuis" - name: "Paul W. P. J. Grefen" link: "https://researchr.org/alias/paul-w.-p.-j.-grefen" - name: "George Angelos Papadopoulos" link: "https://researchr.org/alias/george-angelos-papadopoulos" publisher: "IEEE Computer Society" isbn: "978-0-7695-3854-9" kind: "inproceedings" key: "IbrahimFCT09" - title: "Extracting queries by static analysis of transparent persistence" author: - name: "Ben Wiedermann" link: "https://researchr.org/alias/ben-wiedermann" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2007" doi: "http://doi.acm.org/10.1145/1190216.1190248" links: doi: "http://doi.acm.org/10.1145/1190216.1190248" tags: - "analysis" - "static analysis" researchr: "https://researchr.org/publication/WiedermannC07" cites: 0 citedby: 0 pages: "199-210" booktitle: "Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007" editor: - name: "Martin Hofmann" link: "https://researchr.org/alias/martin-hofmann" - name: "Matthias Felleisen" link: "http://www.ccs.neu.edu/home/matthias/" publisher: "ACM" isbn: "1-59593-575-4" kind: "inproceedings" key: "WiedermannC07" - title: "Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms" author: - name: "Srinivas Nedunuri" link: "https://researchr.org/alias/srinivas-nedunuri" - name: "Douglas R. Smith" link: "https://researchr.org/alias/douglas-r.-smith" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_27" links: doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_27" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/NedunuriSC12" researchr: "https://researchr.org/publication/NedunuriSC12" cites: 0 citedby: 0 pages: "308-325" booktitle: "FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings" editor: - name: "Dimitra Giannakopoulou" link: "https://researchr.org/alias/dimitra-giannakopoulou" - name: "Dominique Méry" link: "https://researchr.org/alias/dominique-m%C3%A9ry" volume: "7436" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-32758-2" kind: "inproceedings" key: "NedunuriSC12" - title: "Hybrid partial evaluation" author: - name: "Shali, Amin" link: "https://researchr.org/alias/shali%2C-amin" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2011" doi: "10.1145/2048066.2048098" abstract: "Hybrid partial evaluation (HPE) is a pragmatic approach to partial evaluation that borrows ideas from both online and offline partial evaluation. HPE performs offline-style specialization using an online approach without static binding time analysis. The goal of HPE is to provide a practical and predictable level of optimization for programmers, with an implementation strategy that fits well within existing compilers or interpreters. HPE requires the programmer to specify where partial evaluation should be applied. It provides no termination guarantee and reports errors in situations that violate simple binding time rules, or have incorrect use of side effects in compile-time code. We formalize HPE for a small imperative object-oriented language and describe Civet, a straightforward implementation of HPE as a relatively simple extension of a Java compiler. Code optimized by Civet performs as well as the output of a state-of-the-art offline partial evaluator." links: "url": "http://doi.acm.org/10.1145/2048066.2048098" tags: - "optimization" - "rule-based" - "Java" - "interpreter" - "static analysis" - "termination" - "rules" - "compiler" - "partial evaluation" - "Meta-Environment" - "systematic-approach" - "meta-objects" researchr: "https://researchr.org/publication/ShaliCook2011" cites: 0 citedby: 0 pages: "375-390" booktitle: "Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications" series: "OOPSLA '11" address: "New York, NY, USA" publisher: "ACM" isbn: "978-1-4503-0940-0" kind: "inproceedings" key: "ShaliCook2011" - title: "Breaking through to remote data and services" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" doi: "http://doi.acm.org/10.1145/1730874.1730877" links: doi: "http://doi.acm.org/10.1145/1730874.1730877" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/indiaSE/Cook10" tags: - "data-flow" researchr: "https://researchr.org/publication/Cook10-1" cites: 0 citedby: 0 pages: "161-162" booktitle: "Proceeding of the 3rd Annual India Software Engineering Conference, ISEC 2010, Mysore, India, February 25-27, 2010" editor: - name: "Srinivas Padmanabhuni" link: "https://researchr.org/alias/srinivas-padmanabhuni" - name: "Sanjeev K. Aggarwal" link: "https://researchr.org/alias/sanjeev-k.-aggarwal" - name: "Umesh Bellur" link: "https://researchr.org/alias/umesh-bellur" publisher: "ACM" isbn: "978-1-60558-922-0" kind: "inproceedings" key: "Cook10-1" - title: "Gel: A Generic Extensible Language" author: - name: "Jose Falcon" link: "https://researchr.org/alias/jose-falcon" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_4" links: doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_4" tags: - "DSL" - "extensible language" researchr: "https://researchr.org/publication/FalconC09" cites: 0 citedby: 0 pages: "58-77" booktitle: "Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings" editor: - name: "Walid Mohamed Taha" link: "https://researchr.org/alias/walid-mohamed-taha" volume: "5658" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03033-8" kind: "inproceedings" key: "FalconC09" - title: "Extensibility for the Masses - Practical Extensibility with Object Algebras" author: - name: "Bruno C. D. S. Oliveira" link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_2" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/OliveiraC12" researchr: "https://researchr.org/publication/OliveiraC12-0" cites: 0 citedby: 0 pages: "2-27" booktitle: "ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings" editor: - name: "James Noble" link: "http://homepages.ecs.vuw.ac.nz/~kjx/" volume: "7313" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-31056-0" kind: "inproceedings" key: "OliveiraC12-0" - title: "A timed semantics of Orc" author: - name: "Ian Wehrman" link: "https://researchr.org/alias/ian-wehrman" - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" year: "2008" doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.037" links: doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.037" tags: - "semantics" researchr: "https://researchr.org/publication/WehrmanKCM08" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "402" number: "2-3" pages: "234-248" kind: "article" key: "WehrmanKCM08" - title: "Peak Objects" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2006" doi: "http://dx.doi.org/10.1007/11785477_10" links: doi: "http://dx.doi.org/10.1007/11785477_10" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/Cook06a" cites: 0 citedby: 0 pages: "180-185" booktitle: "ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings" editor: - name: "Dave Thomas" link: "https://researchr.org/alias/dave-thomas" volume: "4067" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35726-2" kind: "inproceedings" key: "Cook06a" - title: "Web Service versus Distributed Objects: A Case Study of Performance and Interface Design" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Janel Barfield" link: "https://researchr.org/alias/janel-barfield" year: "2007" doi: "http://www.igi-pub.com/articles/details.asp?ID=7357" links: doi: "http://www.igi-pub.com/articles/details.asp?ID=7357" tags: - "case study" - "web service" - "design" researchr: "https://researchr.org/publication/CookB07" cites: 0 citedby: 0 journal: "Int. J. Web Service Res." volume: "4" number: "3" pages: "49-64" kind: "article" key: "CookB07" - title: "A Language for Task Orchestration and Its Semantic Properties" author: - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" year: "2006" doi: "http://dx.doi.org/10.1007/11817949_32" links: doi: "http://dx.doi.org/10.1007/11817949_32" researchr: "https://researchr.org/publication/KitchinCM06" cites: 0 citedby: 1 pages: "477-491" booktitle: "CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings" editor: - name: "Christel Baier" link: "https://researchr.org/alias/christel-baier" - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" volume: "4137" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37376-4" kind: "inproceedings" key: "KitchinCM06" - title: "Structured Interacting Computations" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-89437-7_9" links: doi: "http://dx.doi.org/10.1007/978-3-540-89437-7_9" researchr: "https://researchr.org/publication/CookM08" cites: 0 citedby: 0 pages: "139-145" booktitle: "Software-Intensive Systems and New Computing Paradigms - Challenges and Visions" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" - name: "Jean-Pierre Banâtre" link: "https://researchr.org/alias/jean-pierre-ban%C3%A2tre" - name: "Matthias M. Hölzl" link: "https://researchr.org/alias/matthias-m.-h%C3%B6lzl" - name: "Axel Rauschmayer" link: "https://researchr.org/alias/axel-rauschmayer" volume: "5380" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-89436-0" kind: "incollection" key: "CookM08" - title: "Functional programming with structured graphs" author: - name: "Bruno C. D. S. Oliveira" link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2012" doi: "http://doi.acm.org/10.1145/2364527.2364541" links: doi: "http://doi.acm.org/10.1145/2364527.2364541" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/OliveiraC12" researchr: "https://researchr.org/publication/OliveiraC12-1" cites: 0 citedby: 0 pages: "77-88" booktitle: "ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012" editor: - name: "Peter Thiemann" link: "https://researchr.org/alias/peter-thiemann" - name: "Robby Bruce Findler" link: "https://researchr.org/alias/robby-bruce-findler" publisher: "ACM" isbn: "978-1-4503-1054-3" kind: "inproceedings" key: "OliveiraC12-1" - title: "A Denotational Semantics of Inheritance and Its Correctness" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" year: "1994" month: "November" tags: - "semantics" - "denotational semantics" researchr: "https://researchr.org/publication/CookP94" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "114" number: "2" pages: "329-350" kind: "article" key: "CookP94" - title: "Remote Batch Invocation for Compositional Object Services" author: - name: "Ali Ibrahim" link: "https://researchr.org/alias/ali-ibrahim" - name: "Yang Jiao" link: "https://researchr.org/alias/yang-jiao" - name: "Eli Tilevich" link: "https://researchr.org/alias/eli-tilevich" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2009" tags: - "meta-model" - "composition" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/IbrahimBatch09" cites: 0 citedby: 0 booktitle: "Proceedings of the European Conference on Object-Oriented Programming (ECOOP)" kind: "inproceedings" key: "IbrahimBatch09" - title: "F-Bounded Polymorphism for Object-Oriented Programming" author: - name: "Peter S. Canning" link: "https://researchr.org/alias/peter-s.-canning" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Walter L. Hill" link: "https://researchr.org/alias/walter-l.-hill" - name: "Walter G. Olthoff" link: "https://researchr.org/alias/walter-g.-olthoff" - name: "John C. Mitchell" link: "https://researchr.org/alias/john-c.-mitchell" year: "1989" doi: "http://doi.acm.org/10.1145/99370.99392" links: doi: "http://doi.acm.org/10.1145/99370.99392" tags: - "object-oriented programming" - "meta programming" - "C++" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/CanningCHOM89" cites: 0 citedby: 0 pages: "273-280" booktitle: "FPCA" kind: "inproceedings" key: "CanningCHOM89" - title: "Web Services versus Distributed Objects: A Case Study of Performance and Interface Design" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Janel Barfield" link: "https://researchr.org/alias/janel-barfield" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.145" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.145" tags: - "case study" - "web service" - "web services" - "design" researchr: "https://researchr.org/publication/CookB06" cites: 0 citedby: 0 pages: "419-426" booktitle: "2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA" publisher: "IEEE Computer Society" isbn: "0-7695-2669-1" kind: "inproceedings" key: "CookB06" - title: "Implementing Reflective Access Control in SQL" author: - name: "Lars E. Olson" link: "https://researchr.org/alias/lars-e.-olson" - name: "Carl A. Gunter" link: "https://researchr.org/alias/carl-a.-gunter" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Marianne Winslett" link: "https://researchr.org/alias/marianne-winslett" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-03007-9_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-03007-9_2" tags: - "SQL" - "access control" researchr: "https://researchr.org/publication/OlsonGCW09" cites: 0 citedby: 0 pages: "17-32" booktitle: "Data and Applications Security XXIII, 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings" editor: - name: "Ehud Gudes" link: "https://researchr.org/alias/ehud-gudes" - name: "Jaideep Vaidya" link: "https://researchr.org/alias/jaideep-vaidya" volume: "5645" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03006-2" kind: "inproceedings" key: "OlsonGCW09" - title: "EffectiveAdvice: disciplined advice with explicit effects" author: - name: "Bruno C. d. S. Oliveira" link: "http://ropas.snu.ac.kr/~bruno/" - name: "Tom Schrijvers" link: "http://users.ugent.be/~tschrijv" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" doi: "http://doi.acm.org/10.1145/1739230.1739244" links: doi: "http://doi.acm.org/10.1145/1739230.1739244" tags: - "C++" researchr: "https://researchr.org/publication/OliveiraSC10" cites: 0 citedby: 0 pages: "109-120" booktitle: "Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010" editor: - name: "Jean-Marc Jézéquel" link: "https://researchr.org/alias/jean-marc-j%C3%A3%C2%A9z%C3%A3%C2%A9quel" - name: "Mario Südholt" link: "https://researchr.org/alias/mario-s%C3%A3%C2%BCdholt" publisher: "ACM" isbn: "978-1-60558-958-9" kind: "inproceedings" key: "OliveiraSC10" - title: "Safe composition of product lines" author: - name: "Sahil Thaker" link: "https://researchr.org/alias/sahil-thaker" - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2007" doi: "http://doi.acm.org/10.1145/1289971.1289989" links: doi: "http://doi.acm.org/10.1145/1289971.1289989" tags: - "Variability-Aware Analysis" - "composition" - "analysis" - "context-aware" - "safe composition" researchr: "https://researchr.org/publication/ThakerBKC07" cites: 0 citedby: 0 pages: "95-104" booktitle: "Generative Programming and Component Engineering, 6th International Conference, GPCE 2007" editor: - name: "Charles Consel" link: "https://researchr.org/alias/charles-consel" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" address: "Salzburg, Austria" publisher: "ACM" isbn: "978-1-59593-855-8" kind: "inproceedings" key: "ThakerBKC07" - title: "Tactical Synthesis of Efficient Global Search Algorithms" author: - name: "Srinivas Nedunuri" link: "https://researchr.org/alias/srinivas-nedunuri" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Douglas R. Smith" link: "https://researchr.org/alias/douglas-r.-smith" year: "2009" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nfm/NedunuriCS09" researchr: "https://researchr.org/publication/NedunuriCS09" cites: 0 citedby: 0 pages: "171-175" booktitle: "First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009" editor: - name: "Ewen Denney" link: "https://researchr.org/alias/ewen-denney" - name: "Dimitra Giannakopoulou" link: "https://researchr.org/alias/dimitra-giannakopoulou" - name: "Corina S. Pasareanu" link: "https://researchr.org/alias/corina-s.-pasareanu" volume: "NASA/CP-2009-215407" series: "NASA Conference Proceedings" kind: "inproceedings" key: "NedunuriCS09" - title: "A Proposal for Making Eiffel Type-Safe" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "1989" tags: - "Eiffel" researchr: "https://researchr.org/publication/Cook89%3A2" cites: 0 citedby: 0 journal: "Comput. J." volume: "32" number: "4" pages: "305-311" kind: "article" key: "Cook89:2" - title: "Evaluating Support for Features in Advanced Modularization Technologies" author: - name: "Roberto E. Lopez-Herrejon" link: "https://researchr.org/alias/roberto-e.-lopez-herrejon" - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2005" doi: "http://dx.doi.org/10.1007/11531142_8" links: doi: "http://dx.doi.org/10.1007/11531142_8" tags: - "e-science" researchr: "https://researchr.org/publication/Lopez-HerrejonBC05" cites: 0 citedby: 0 pages: "169-194" booktitle: "ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings" editor: - name: "Andrew P. Black" link: "https://researchr.org/alias/andrew-p.-black" volume: "3586" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27992-X" kind: "inproceedings" key: "Lopez-HerrejonBC05" - title: "On understanding data abstraction, revisited" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2009" doi: "http://doi.acm.org/10.1145/1640089.1640133" abstract: "In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called \"On understanding types, data abstraction, and polymorphism\". Their work kicked off a flood of research on semantics and type theory for object-oriented programming, which continues to this day. Despite 25 years of research, there is still widespread confusion about the two forms of data abstraction, abstract data types and objects. This essay attempts to explain the differences and also why the differences matter. " links: doi: "http://doi.acm.org/10.1145/1640089.1640133" tags: - "object-oriented programming" - "semantics" - "meta programming" - "data-flow programming" - "data-flow" - "survey" - "programming" - "subject-oriented programming" - "type theory" - "abstraction" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/Cook09-0" cites: 0 citedby: 0 pages: "557-572" 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" editor: - name: "Shail Arora" link: "https://researchr.org/alias/shail-arora" - name: "Gary T. Leavens" link: "https://researchr.org/alias/gary-t.-leavens" publisher: "ACM" isbn: "978-1-60558-766-0" kind: "inproceedings" key: "Cook09-0" - title: "Object-Oriented Programming Versus Abstract Data Types" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "1990" tags: - "object-oriented programming" - "meta programming" - "data-flow programming" - "data-flow" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/Cook90" cites: 0 citedby: 0 pages: "151-178" booktitle: "Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "489" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-53931-X" kind: "inproceedings" key: "Cook90" - title: "Fitting the pieces together: a machine-checked model of safe composition" author: - name: "Benjamin Delaware" link: "https://researchr.org/alias/benjamin-delaware" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" year: "2009" doi: "http://doi.acm.org/10.1145/1595696.1595733" links: doi: "http://doi.acm.org/10.1145/1595696.1595733" tags: - "Variability-Aware Analysis" - "composition" - "analysis" - "context-aware" - "safe composition" researchr: "https://researchr.org/publication/DelawareCB09-0" cites: 0 citedby: 0 pages: "243-252" 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" editor: - name: "Hans van Vliet" link: "http://www.cs.vu.nl/~hans/" - name: "Valérie Issarny" link: "https://researchr.org/alias/val%C3%A3%C2%A9rie-issarny" publisher: "ACM" isbn: "978-1-60558-001-2" kind: "inproceedings" key: "DelawareCB09-0" - title: "Remote Batch Invocation for Compositional Object Services" author: - name: "Ali Ibrahim" link: "https://researchr.org/alias/ali-ibrahim" - name: "Yang Jiao" link: "https://researchr.org/alias/yang-jiao" - name: "Eli Tilevich" link: "https://researchr.org/alias/eli-tilevich" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-03013-0_27" abstract: "Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Façade patterns to create large-granularity interfaces, hard-coded for particular client use cases. As an alternative to RPC-based distributed objects, this paper presents Remote Batch Invocation (RBI), language support for explicit client-defined batches. A Remote Batch statement combines remote and local execution: all the remote code is executed in a single round-trip to the server, where all data sent to the server and results from the batch are communicated in bulk. RBI supports remote blocks, iteration and conditionals, and local handling of remote exceptions. RBI is efficient even for fine-grained interfaces, eliminating the need for hand-optimized server interfaces. We demonstrate RBI with an extension to Java, using RMI internally as the transport layer. RBI supports large-granularity, stateless server interactions, characteristic of service-oriented computing." links: doi: "http://dx.doi.org/10.1007/978-3-642-03013-0_27" tags: - "optimization" - "rule-based" - "Java" - "data-flow language" - "pattern language" - "exceptions" - "composition" - "data-flow" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/IbrahimJTC09" cites: 0 citedby: 0 pages: "595-617" booktitle: "ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings" editor: - name: "Sophia Drossopoulou" link: "https://researchr.org/alias/sophia-drossopoulou" volume: "5653" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03012-3" kind: "inproceedings" key: "IbrahimJTC09" - title: "Synthesis of fast programs for maximum segment sum problems" author: - name: "Srinivas Nedunuri" link: "https://researchr.org/alias/srinivas-nedunuri" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2009" doi: "http://doi.acm.org/10.1145/1621607.1621626" links: doi: "http://doi.acm.org/10.1145/1621607.1621626" researchr: "https://researchr.org/publication/NedunuriC09" cites: 0 citedby: 0 pages: "117-126" booktitle: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings" editor: - name: "Jeremy G. Siek" link: "http://homes.soic.indiana.edu/jsiek/" - name: "Bernd Fischer" link: "http://www.ecs.soton.ac.uk/people/bf" publisher: "ACM" isbn: "978-1-60558-494-2" kind: "inproceedings" key: "NedunuriC09" - title: "Inheritance Is Not Subtyping" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Walter L. Hill" link: "https://researchr.org/alias/walter-l.-hill" - name: "Peter S. Canning" link: "https://researchr.org/alias/peter-s.-canning" year: "1990" tags: - "subtyping" researchr: "https://researchr.org/publication/CookHC90" cites: 0 citedby: 0 pages: "125-135" booktitle: "POPL" kind: "inproceedings" key: "CookHC90" - title: "Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs" author: - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Alex Loh" link: "https://researchr.org/alias/alex-loh" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_2" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/StormCL12" researchr: "https://researchr.org/publication/StormCL12" cites: 0 citedby: 0 pages: "4-23" booktitle: "Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers" editor: - name: "Krzysztof Czarnecki" link: "http://www.swen.uwaterloo.ca/~kczarnec/" - name: "Görel Hedin" link: "http://cs.lth.se/gorel_hedin" volume: "7745" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-36089-3" kind: "inproceedings" key: "StormCL12" - title: "Safe query objects: statically typed objects as remotely executable queries" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Siddhartha Rai" link: "https://researchr.org/alias/siddhartha-rai" year: "2005" doi: "http://doi.acm.org/10.1145/1062455.1062488" links: doi: "http://doi.acm.org/10.1145/1062455.1062488" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/CookR05" cites: 0 citedby: 1 pages: "97-106" booktitle: "27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA" editor: - name: "Gruia-Catalin Roman" link: "https://researchr.org/alias/gruia-catalin-roman" - name: "William G. Griswold" link: "https://researchr.org/alias/william-g.-griswold" - name: "Bashar Nuseibeh" link: "https://researchr.org/alias/bashar-nuseibeh" publisher: "ACM" kind: "inproceedings" key: "CookR05" - title: "Product lines of theorems" author: - name: "Benjamin Delaware" link: "https://researchr.org/alias/benjamin-delaware" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Don S. Batory" link: "https://researchr.org/alias/don-s.-batory" year: "2011" doi: "http://doi.acm.org/10.1145/2048066.2048113" links: doi: "http://doi.acm.org/10.1145/2048066.2048113" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/DelawareCB11" researchr: "https://researchr.org/publication/DelawareCB11" cites: 0 citedby: 0 pages: "595-608" 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" editor: - name: "Cristina Videira Lopes" link: "https://researchr.org/alias/cristina-videira-lopes" - name: "Kathleen Fisher" link: "https://researchr.org/alias/kathleen-fisher" publisher: "ACM" isbn: "978-1-4503-0940-0" kind: "inproceedings" key: "DelawareCB11" - title: "Mixin-based Inheritance" author: - name: "Gilad Bracha" link: "https://researchr.org/alias/gilad-bracha" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "1990" tags: - "rule-based" researchr: "https://researchr.org/publication/BrachaC90" cites: 0 citedby: 1 pages: "303-311" booktitle: "OOPSLA/ECOOP" kind: "inproceedings" key: "BrachaC90" - title: "Which middleware platform should you choose for your next remote service?" author: - name: "Young-Woo Kwon" link: "https://researchr.org/alias/young-woo-kwon" - name: "Eli Tilevich" link: "https://researchr.org/alias/eli-tilevich" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2011" doi: "http://dx.doi.org/10.1007/s11761-011-0082-y" links: doi: "http://dx.doi.org/10.1007/s11761-011-0082-y" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/soca/KwonTC01" researchr: "https://researchr.org/publication/KwonTC01" cites: 0 citedby: 0 journal: "Service Oriented Computing and Applications" volume: "5" number: "2" pages: "61-70" kind: "article" key: "KwonTC01" - title: "Interfaces for Strongly-Typed Object-Oriented Programming" author: - name: "Peter S. Canning" link: "https://researchr.org/alias/peter-s.-canning" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Walter L. Hill" link: "https://researchr.org/alias/walter-l.-hill" - name: "Walter G. Olthoff" link: "https://researchr.org/alias/walter-g.-olthoff" year: "1989" tags: - "object-oriented programming" - "meta programming" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/CanningCHO89" cites: 0 citedby: 0 pages: "457-467" booktitle: "OOPSLA" kind: "inproceedings" key: "CanningCHO89" - title: "The Orc Programming Language" author: - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "Adrian Quark" link: "https://researchr.org/alias/adrian-quark" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02138-1_1" links: doi: "http://dx.doi.org/10.1007/978-3-642-02138-1_1" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/KitchinQCM09" cites: 0 citedby: 0 pages: "1-25" 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" editor: - name: "David Lee" link: "https://researchr.org/alias/david-lee" - name: "Antónia Lopes" link: "https://researchr.org/alias/ant%C3%B3nia-lopes" - name: "Arnd Poetzsch-Heffter" link: "https://researchr.org/alias/arnd-poetzsch-heffter" volume: "5522" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02137-4" kind: "inproceedings" key: "KitchinQCM09" - title: "Unifying Remote Data, Remote Procedures, and Web Services" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16092-9_3" links: doi: "http://dx.doi.org/10.1007/978-3-642-16092-9_3" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icoodb/Cook10" tags: - "web service" - "data-flow" - "web services" researchr: "https://researchr.org/publication/Cook10" cites: 0 citedby: 0 pages: "8" booktitle: "Objects and Databases - Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings" editor: - name: "Alan Dearle" link: "https://researchr.org/alias/alan-dearle" - name: "Roberto Zicari" link: "https://researchr.org/alias/roberto-zicari" volume: "6348" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16091-2" kind: "inproceedings" key: "Cook10" - title: "Remote Batch Invocation for SQL Databases" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Ben Wiedermann" link: "https://researchr.org/alias/ben-wiedermann" year: "2011" doi: "http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cook.pdf" links: doi: "http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cook.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dbpl/CookW11" researchr: "https://researchr.org/publication/CookW11-0" cites: 0 citedby: 0 booktitle: "Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings" kind: "inproceedings" key: "CookW11-0" - title: "Implicitly Distributing Pervasively Concurrent Programs: Extended abstract" author: - name: "John A. Thywissen" link: "https://researchr.org/alias/john-a.-thywissen" - name: "Arthur Michener Peters" link: "https://researchr.org/alias/arthur-michener-peters" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2016" doi: "http://doi.acm.org/10.1145/2957319.2957370" links: doi: "http://doi.acm.org/10.1145/2957319.2957370" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/ThywissenPC16" researchr: "https://researchr.org/publication/ThywissenPC16" cites: 0 citedby: 0 pages: "1" booktitle: "First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016" publisher: "ACM" isbn: "978-1-4503-4775-4" kind: "inproceedings" key: "ThywissenPC16" - title: "Computation Orchestration" author: - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2007" doi: "http://dx.doi.org/10.1007/s10270-006-0012-1" links: doi: "http://dx.doi.org/10.1007/s10270-006-0012-1" researchr: "https://researchr.org/publication/MisraC07" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "6" number: "1" pages: "83-110" kind: "article" key: "MisraC07" - title: "Open distributed processing (panel)" author: - name: "Oscar Nierstrasz" link: "http://scg.unibe.ch/staff/oscar" - name: "Alan Snyder" link: "https://researchr.org/alias/alan-snyder" - name: "Anthony S. Williams" link: "https://researchr.org/alias/anthony-s.-williams" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "1994" tags: - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/NierstraszSWC94" cites: 0 citedby: 0 journal: "OOPS Messenger" volume: "5" number: "2" pages: "67-71" kind: "article" key: "NierstraszSWC94" - title: "Workflow Patterns in Orc" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Sourabh Patwardhan" link: "https://researchr.org/alias/sourabh-patwardhan" - name: "Jayadev Misra" link: "https://www.cs.utexas.edu/~misra/" year: "2006" doi: "http://dx.doi.org/10.1007/11767954_6" abstract: "Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for evaluating the capabilities of workflow systems and models. In this paper we provide implementations of the workflow patterns in Orc, a new process calculus for orchestrating wide-area computations. A key feature of the Orc implementations is that they are expressed as definitions that can be reused as needed. " links: doi: "http://dx.doi.org/10.1007/11767954_6" tags: - "control systems" - "workflow patterns" - "meta-model" - "reuse" - "data-flow" - "Meta-Environment" - "workflow" - "process modeling" researchr: "https://researchr.org/publication/CookPM06" cites: 0 citedby: 1 pages: "82-96" booktitle: "Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings" editor: - name: "Paolo Ciancarini" link: "https://researchr.org/alias/paolo-ciancarini" - name: "Herbert Wiklicky" link: "https://researchr.org/alias/herbert-wiklicky" volume: "4038" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-34694-5" kind: "inproceedings" key: "CookPM06" - title: "Synthesis of Greedy Algorithms Using Dominance Relations" author: - name: "Srinivas Nedunuri" link: "https://researchr.org/alias/srinivas-nedunuri" - name: "Douglas R. Smith" link: "https://researchr.org/alias/douglas-r.-smith" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nfm/NedunuriSC10" researchr: "https://researchr.org/publication/NedunuriSC10-0" cites: 0 citedby: 0 pages: "97-108" booktitle: "Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings" editor: - name: "César Muñoz" link: "https://researchr.org/alias/c%C3%A9sar-mu%C3%B1oz" volume: "NASA/CP-2010-216215" series: "NASA Conference Proceedings" kind: "inproceedings" key: "NedunuriSC10-0" - title: "The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge" author: - name: "Sebastian Erdweg" link: "http://www.informatik.uni-marburg.de/~seba/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Markus Völter" link: "http://www.voelter.de/" - name: " Meinte Boersma" link: "https://researchr.org/alias/meinte-boersma" - name: "Remi Bosman" link: "https://researchr.org/alias/remi-bosman" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Albert Gerritsen" link: "https://researchr.org/alias/albert-gerritsen" - name: "Angelo Hulshout" link: "https://researchr.org/alias/angelo-hulshout" - name: "Steven Kelly" link: "https://researchr.org/alias/steven-kelly" - name: "Alex Loh" link: "https://researchr.org/alias/alex-loh" - name: "Gabriël Konat" link: "http://nl.linkedin.com/in/gabrielkonat" - name: "Pedro J. Molina" link: "https://researchr.org/alias/pedro-j.-molina" - name: "Martin Palatnik" link: "https://researchr.org/alias/martin-palatnik" - name: "Risto Pohjonen" link: "https://researchr.org/alias/risto-pohjonen" - name: "Eugen Schindler" link: "https://researchr.org/alias/eugen-schindler" - name: "Klemens Schindler" link: "https://researchr.org/alias/klemens-schindler" - name: "Riccardo Solmi" link: "https://researchr.org/alias/riccardo-solmi" - name: "Vlad A. Vergu" link: "https://researchr.org/alias/vlad-a.-vergu" - name: "Eelco Visser" link: "http://eelcovisser.org" - name: "Kevin van der Vlist" link: "https://researchr.org/alias/kevin-van-der-vlist" - name: "Guido Wachsmuth" link: "https://www.linkedin.com/in/guidowachsmuth/" - name: "Jimi van der Woning" link: "https://researchr.org/alias/jimi-van-der-woning" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_11" abstract: "Language workbenches are tools that provide high-level mechanisms for the implementation of (domain-specific) languages. Language workbenches are an active area of research that also receives many contributions from industry. To compare and discuss existing language workbenches, the annual Language Workbench Challenge was launched in 2011. Each year, participants are challenged to realize a given domain-specific language with their workbenches as a basis for discussion and comparison. In this paper, we describe the state of the art of language workbenches as observed in the previous editions of the Language Workbench Challenge. In particular, we capture the design space of language workbenches in a feature model and show where in this design space the participants of the 2013 Language Workbench Challenge reside. We compare these workbenches based on a DSL for questionnaires that was realized in all workbenches." links: doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_11" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/ErdwegSVBBCGHKLKMPPSSSVVVWW13" researchr: "https://researchr.org/publication/ErdwegSV13" cites: 0 citedby: 0 pages: "197-217" booktitle: "Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings" editor: - name: "Martin Erwig" link: "https://researchr.org/alias/martin-erwig" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "8225" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-02653-4" kind: "inproceedings" key: "ErdwegSV13" - title: "A Denotational Semantics of Inheritance and its Correctness" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" year: "1989" tags: - "semantics" - "denotational semantics" researchr: "https://researchr.org/publication/CookP89" cites: 0 citedby: 0 pages: "433-443" booktitle: "OOPSLA" kind: "inproceedings" key: "CookP89" - title: "A machine-checked model of safe composition" author: - name: "Benjamin Delaware" link: "https://researchr.org/alias/benjamin-delaware" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" year: "2009" doi: "http://doi.acm.org/10.1145/1509837.1509846" links: doi: "http://doi.acm.org/10.1145/1509837.1509846" tags: - "Variability-Aware Analysis" - "composition" - "analysis" - "context-aware" - "safe composition" researchr: "https://researchr.org/publication/DelawareCB09" cites: 0 citedby: 0 pages: "31-35" booktitle: "Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009" editor: - name: "Mario Südholt" link: "https://researchr.org/alias/mario-s%C3%BCdholt" publisher: "ACM" isbn: "978-1-60558-452-2" kind: "inproceedings" key: "DelawareCB09" - title: "How to Get a Paper Accepted at OOPSLA (Panel)" author: - name: "Ralph E. Johnson" link: "http://st-www.cs.illinois.edu/users/johnson/" - name: "Kent Beck" link: "https://researchr.org/alias/kent-beck" - name: "Grady Booch" link: "https://researchr.org/alias/grady-booch" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "Rebecca Wirfs-Brock" link: "https://researchr.org/alias/rebecca-wirfs-brock" year: "1993" tags: - "e-science" researchr: "https://researchr.org/publication/JohnsonBBCGW93" cites: 0 citedby: 0 pages: "429-436" booktitle: "OOPSLA" kind: "inproceedings" key: "JohnsonBBCGW93" - title: "Event Structure Semantics of Orc" author: - name: "Sidney Rosario" link: "https://researchr.org/alias/sidney-rosario" - name: "David Kitchin" link: "https://researchr.org/alias/david-kitchin" - name: "Albert Benveniste" link: "https://researchr.org/alias/albert-benveniste" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Stefan Haar" link: "https://researchr.org/alias/stefan-haar" - name: "Claude Jard" link: "https://researchr.org/alias/claude-jard" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_11" links: doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_11" tags: - "semantics" researchr: "https://researchr.org/publication/RosarioKBCHJ07" cites: 0 citedby: 1 pages: "154-168" booktitle: "Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings" editor: - name: "Marlon Dumas" link: "https://researchr.org/alias/marlon-dumas" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "4937" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79229-1" kind: "inproceedings" key: "RosarioKBCHJ07" - title: "AppleScript" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2007" doi: "http://doi.acm.org/10.1145/1238844.1238845" links: doi: "http://doi.acm.org/10.1145/1238844.1238845" researchr: "https://researchr.org/publication/Cook07" cites: 0 citedby: 0 pages: "1-21" booktitle: "Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007" editor: - name: "Barbara G. Ryder" link: "https://researchr.org/alias/barbara-g.-ryder" - name: "Brent Hailpern" link: "https://researchr.org/alias/brent-hailpern" publisher: "ACM" kind: "inproceedings" key: "Cook07" - title: "Hybrid partial evaluation" author: - name: "Amin Shali" link: "https://researchr.org/alias/amin-shali" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2011" doi: "http://doi.acm.org/10.1145/2048066.2048098" links: doi: "http://doi.acm.org/10.1145/2048066.2048098" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/ShaliC11" researchr: "https://researchr.org/publication/ShaliC11" cites: 0 citedby: 0 pages: "375-390" 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" editor: - name: "Cristina Videira Lopes" link: "https://researchr.org/alias/cristina-videira-lopes" - name: "Kathleen Fisher" link: "https://researchr.org/alias/kathleen-fisher" publisher: "ACM" isbn: "978-1-4503-0940-0" kind: "inproceedings" key: "ShaliC11" - title: "Panel - Is Multiple Inheritance Essential to OOP?" author: - name: "Yen-Ping Shan" link: "https://researchr.org/alias/yen-ping-shan" - name: "Thomas A. Cargill" link: "https://researchr.org/alias/thomas-a.-cargill" - name: "Brad Cox" link: "https://researchr.org/alias/brad-cox" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Mary E. S. Loomis" link: "https://researchr.org/alias/mary-e.-s.-loomis" - name: "Alan Snyder" link: "https://researchr.org/alias/alan-snyder" year: "1993" researchr: "https://researchr.org/publication/ShanCCCLS93" cites: 0 citedby: 0 pages: "360-363" booktitle: "OOPSLA" kind: "inproceedings" key: "ShanCCCLS93" - title: "A virtual class calculus" author: - name: "Erik Ernst" link: "http://person.au.dk/eernst@cs" - name: "Klaus Ostermann" link: "http://www.informatik.uni-marburg.de/~kos/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2006" doi: "http://doi.acm.org/10.1145/1111037.1111062" links: doi: "http://doi.acm.org/10.1145/1111037.1111062" researchr: "https://researchr.org/publication/ErnstOC06" cites: 0 citedby: 0 pages: "270-282" booktitle: "Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006" editor: - name: "J. Gregory Morrisett" link: "https://researchr.org/alias/j.-gregory-morrisett" - name: "Simon L. Peyton Jones" link: "http://research.microsoft.com/en-us/people/simonpj/" publisher: "ACM" isbn: "1-59593-027-2" kind: "inproceedings" key: "ErnstOC06" - title: "Home Page" author: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" researchr: "https://researchr.org/publication/homepages-c-WilliamRCook" cites: 0 citedby: 0 howpublished: "http://www.cs.utexas.edu/~wcook" kind: "misc" key: "homepages-c-WilliamRCook" - title: "A Class of Greedy Algorithms and Its Relation to Greedoids" author: - name: "Srinivas Nedunuri" link: "https://researchr.org/alias/srinivas-nedunuri" - name: "Douglas R. Smith" link: "https://researchr.org/alias/douglas-r.-smith" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_24" links: doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_24" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/NedunuriSC10" researchr: "https://researchr.org/publication/NedunuriSC10" cites: 0 citedby: 0 pages: "352-366" booktitle: "Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings" editor: - name: "Ana Cavalcanti" link: "https://researchr.org/alias/ana-cavalcanti" - name: "David Déharbe" link: "https://researchr.org/alias/david-d%C3%A9harbe" - name: "Marie-Claude Gaudel" link: "http://www.lri.fr/~mcg/" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" volume: "6255" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-14807-1" kind: "inproceedings" key: "NedunuriSC10" - title: "Automatic Prefetching by Traversal Profiling in Object Persistence Architectures" author: - name: "Ali Ibrahim" link: "https://researchr.org/alias/ali-ibrahim" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2006" doi: "http://dx.doi.org/10.1007/11785477_4" links: doi: "http://dx.doi.org/10.1007/11785477_4" tags: - "meta-model" - "traversal" - "architecture" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/IbrahimC06" cites: 0 citedby: 0 pages: "50-73" booktitle: "ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings" editor: - name: "Dave Thomas" link: "https://researchr.org/alias/dave-thomas" volume: "4067" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35726-2" kind: "inproceedings" key: "IbrahimC06" - title: "Feature-Oriented Programming with Object Algebras" author: - name: "Bruno C. D. S. Oliveira" link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira" - name: "Tijs van der Storm" link: "https://researchr.org/alias/tijs-van-der-storm" - name: "Alex Loh" link: "https://researchr.org/alias/alex-loh" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-642-39038-8_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-39038-8_2" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/OliveiraSLC13" researchr: "https://researchr.org/publication/OliveiraSLC13" cites: 0 citedby: 0 pages: "27-51" booktitle: "ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings" editor: - name: "Giuseppe Castagna" link: "https://researchr.org/alias/giuseppe-castagna" volume: "7920" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-39037-1" kind: "inproceedings" key: "OliveiraSLC13" - title: "Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA" year: "2010" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/2010c" tags: - "programming languages" - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/oopsla-2010c" cites: 0 citedby: 0 booktitle: "Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA" conference: "OOPSLA" editor: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Siobhán Clarke" link: "https://www.cs.tcd.ie/Siobhan.Clarke/" - name: "Martin C. Rinard" link: "https://researchr.org/alias/martin-c.-rinard" publisher: "ACM" isbn: "978-1-4503-0240-1" kind: "proceedings" key: "oopsla-2010c" - 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" year: "2010" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/2010" tags: - "programming languages" - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/oopsla-2010" cites: 0 citedby: 0 booktitle: "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" conference: "OOPSLA" editor: - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Siobhán Clarke" link: "https://www.cs.tcd.ie/Siobhan.Clarke/" - name: "Martin C. Rinard" link: "https://researchr.org/alias/martin-c.-rinard" address: "Reno/Tahoe, Nevada" publisher: "ACM" isbn: "978-1-4503-0203-6" kind: "proceedings" key: "oopsla-2010" - 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" year: "2006" tags: - "programming languages" - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/oopsla%3A2006" cites: 0 citedby: 0 booktitle: "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" conference: "OOPSLA" editor: - name: "Peri L. Tarr" link: "http://portal.acm.org/author_page.cfm?id=81100131551&coll=GUIDE&dl=GUIDE&trk=0&CFID=51133021&CFTOKEN=87963901" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" publisher: "ACM" isbn: "1-59593-348-4" kind: "proceedings" key: "oopsla:2006" - 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" year: "2006" tags: - "programming languages" - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/oopsla%3A2006c" cites: 0 citedby: 0 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" conference: "OOPSLA" editor: - name: "Peri L. Tarr" link: "https://researchr.org/alias/peri-l.-tarr" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" publisher: "ACM" isbn: "1-59593-491-X" kind: "proceedings" key: "oopsla:2006c" - title: "Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009" year: "2009" researchr: "https://researchr.org/publication/models-2009fosd" cites: 0 citedby: 0 booktitle: "Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009" conference: "MoDELS" editor: - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" - name: "William R. Cook" link: "http://www.cs.utexas.edu/~wcook/" - name: "Krzysztof Czarnecki" link: "http://www.swen.uwaterloo.ca/~kczarnec/" - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Neil Loughran" link: "https://researchr.org/alias/neil-loughran" - name: "Oscar Nierstrasz" link: "http://scg.unibe.ch/staff/oscar" series: "ACM International Conference Proceeding Series" publisher: "ACM" isbn: "978-1-60558-567-3" kind: "proceedings" key: "models-2009fosd"