@inproceedings{ClarkeDN03, title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming}, author = {Dave Clarke and Sophia Drossopoulou and James Noble}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3013&spage=197}, tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/ClarkeDN03}, cites = {0}, citedby = {0}, pages = {197-207}, booktitle = {ECOOPW}, } @inproceedings{IzadiBC08, title = {Modeling Component Connectors: Synchronisation and Context-Dependency}, author = {Mohammad Izadi and Marcello M. Bonsangue and Dave Clarke}, year = {2008}, doi = {10.1109/SEFM.2008.24}, url = {http://dx.doi.org/10.1109/SEFM.2008.24}, tags = {model synchronisation, meta-model, modeling, context-aware, Meta-Environment}, researchr = {https://researchr.org/publication/IzadiBC08}, cites = {0}, citedby = {0}, pages = {303-312}, booktitle = {SEFM}, } @inproceedings{ClarkeJO10, title = {Concurrent Objects à la Carte}, author = {Dave Clarke and Einar Broch Johnsen and Olaf Owe}, year = {2010}, doi = {10.1007/978-3-642-11512-7_12}, url = {http://dx.doi.org/10.1007/978-3-642-11512-7_12}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ClarkeJO10}, cites = {0}, citedby = {0}, pages = {185-206}, booktitle = {BIRTHDAY}, } @inproceedings{PierikCB05, title = {Controlling Object Allocation Using Creation Guards}, author = {Cees Pierik and Dave Clarke and Frank S. de Boer}, year = {2005}, doi = {10.1007/11526841_6}, url = {http://dx.doi.org/10.1007/11526841_6}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/PierikCB05}, cites = {0}, citedby = {0}, pages = {59-74}, booktitle = {FM}, } @article{Clarke06:0, title = {Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic}, author = {Dave Clarke}, year = {2006}, doi = {10.1016/j.entcs.2005.12.062}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.062}, tags = {logic}, researchr = {https://researchr.org/publication/Clarke06%3A0}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {159}, pages = {61-77}, } @article{LohCJ03-0, title = {Dependency-style generic haskell}, author = {Andres Löh and Dave Clarke and Johan Jeuring}, year = {2003}, doi = {10.1145/944746.944719}, url = {http://doi.acm.org/10.1145/944746.944719}, tags = {Haskell}, researchr = {https://researchr.org/publication/LohCJ03-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN}, volume = {38}, number = {9}, pages = {141-152}, } @inproceedings{ClarkeDNW07:0, title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming}, author = {Dave Clarke and Sophia Drossopoulou and James Noble and Tobias Wrigstad}, year = {2007}, doi = {10.1007/978-3-540-78195-0_5}, url = {http://dx.doi.org/10.1007/978-3-540-78195-0_5}, tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/ClarkeDNW07%3A0}, cites = {0}, citedby = {0}, pages = {40-49}, booktitle = {ECOOPW}, } @inproceedings{Clarke07, title = {Coordination: Reo, Nets, and Logic}, author = {Dave Clarke}, year = {2007}, doi = {10.1007/978-3-540-92188-2_10}, url = {http://dx.doi.org/10.1007/978-3-540-92188-2_10}, tags = {logic}, researchr = {https://researchr.org/publication/Clarke07}, cites = {0}, citedby = {0}, pages = {226-256}, booktitle = {FMCO}, } @article{PotaninNCB06:0, title = {Featherweight generic confinement}, author = {Alex Potanin and James Noble and Dave Clarke and Robert Biddle}, year = {2006}, doi = {10.1017/S0956796806006125}, url = {http://dx.doi.org/10.1017/S0956796806006125}, researchr = {https://researchr.org/publication/PotaninNCB06%3A0}, cites = {0}, citedby = {0}, journal = {JFP}, volume = {16}, number = {6}, pages = {793-811}, } @inproceedings{BoylandCLLP07, title = {Formal Techniques for Java-Like Programs}, author = {John Boyland and Dave Clarke and Gary T. Leavens and Francesco Logozzo and Arnd Poetzsch-Heffter}, year = {2007}, doi = {10.1007/978-3-540-78195-0_10}, url = {http://dx.doi.org/10.1007/978-3-540-78195-0_10}, tags = {Java}, researchr = {https://researchr.org/publication/BoylandCLLP07}, cites = {0}, citedby = {0}, pages = {99-107}, booktitle = {ECOOPW}, } @inproceedings{OstlundWCA08, title = {Ownership, Uniqueness, and Immutability}, author = {Johan Östlund and Tobias Wrigstad and Dave Clarke and Beatrice Åkerblom}, year = {2008}, doi = {10.1007/978-3-540-69824-1_11}, url = {http://dx.doi.org/10.1007/978-3-540-69824-1_11}, researchr = {https://researchr.org/publication/OstlundWCA08}, cites = {0}, citedby = {0}, pages = {178-197}, booktitle = {TOOLS}, } @inproceedings{ClarkeCA04, title = {Modelling Coordination in Biological Systems}, author = {Dave Clarke and David Costa and Farhad Arbab}, year = {2004}, doi = {10.1007/11925040_2}, url = {http://dx.doi.org/10.1007/11925040_2}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/ClarkeCA04}, cites = {0}, citedby = {0}, pages = {9-25}, booktitle = {ISoLA}, } @article{ProencaC08, title = {Coordination Models Orc and Reo Compared}, author = {José Proença and Dave Clarke}, year = {2008}, doi = {10.1016/j.entcs.2008.03.099}, url = {http://dx.doi.org/10.1016/j.entcs.2008.03.099}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/ProencaC08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {194}, number = {4}, pages = {57-76}, } @inproceedings{PotterNC98, title = {The Ins and Outs of Objects}, author = {John Potter and James Noble and Dave Clarke}, year = {1998}, url = {http://csdl.computer.org/dl/proceedings/aswec/1998/9187/00/91870080.pdf}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/PotterNC98}, cites = {0}, citedby = {0}, pages = {80-89}, booktitle = {ASWEC}, } @inproceedings{KoehlerC09, title = {Decomposing port automata}, author = {Christian Koehler and Dave Clarke}, year = {2009}, doi = {10.1145/1529282.1529587}, url = {http://doi.acm.org/10.1145/1529282.1529587}, researchr = {https://researchr.org/publication/KoehlerC09}, cites = {0}, citedby = {0}, pages = {1369-1373}, booktitle = {SAC}, } @article{ClarkeCA06, title = {Connector Colouring I: Synchronisation and Context Dependency}, author = {Dave Clarke and David Costa and Farhad Arbab}, year = {2006}, doi = {10.1016/j.entcs.2005.12.035}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.035}, tags = {context-aware}, researchr = {https://researchr.org/publication/ClarkeCA06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {154}, number = {1}, pages = {101-119}, } @inproceedings{Clarke-GPCE-2010, title = {Abstract Delta Modeling}, author = {Dave Clarke and Michiel Helvensteijn and Ina Schaefer}, year = {2010}, tags = {meta-model, modeling, Meta-Environment, model deltas}, researchr = {https://researchr.org/publication/Clarke-GPCE-2010}, cites = {0}, citedby = {0}, booktitle = {GPCE}, } @inproceedings{ClarkeDNW07, title = {Tribe: a simple virtual class calculus}, author = {Dave Clarke and Sophia Drossopoulou and James Noble and Tobias Wrigstad}, year = {2007}, doi = {10.1145/1218563.1218578}, url = {http://doi.acm.org/10.1145/1218563.1218578}, researchr = {https://researchr.org/publication/ClarkeDNW07}, cites = {0}, citedby = {0}, pages = {121-134}, booktitle = {AOSD}, } @inproceedings{LohCJ03, title = {Dependency-style generic Haskell}, author = {Andres Löh and Dave Clarke and Johan Jeuring}, year = {2003}, doi = {10.1145/944705.944719}, url = {http://doi.acm.org/10.1145/944705.944719}, tags = {Haskell}, researchr = {https://researchr.org/publication/LohCJ03}, cites = {0}, citedby = {0}, pages = {141-152}, booktitle = {ICFP}, } @article{ClarkeCA07, title = {Connector colouring I: Synchronisation and context dependency}, author = {Dave Clarke and David Costa and Farhad Arbab}, year = {2007}, doi = {10.1016/j.scico.2007.01.009}, url = {http://dx.doi.org/10.1016/j.scico.2007.01.009}, tags = {context-aware}, researchr = {https://researchr.org/publication/ClarkeCA07}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {66}, number = {3}, pages = {205-225}, } @inproceedings{NobleCP99, title = {Object Ownership for Dynamic Alias Protection}, author = {James Noble and Dave Clarke and John Potter}, year = {1999}, doi = {10.1109/TOOLS.1999.809424}, url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809424}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/NobleCP99}, cites = {0}, citedby = {0}, pages = {176-187}, booktitle = {TOOLS}, } @article{ClarkePLA09, title = {Deconstructing Reo}, author = {Dave Clarke and José Proença and Alexander Lazovik and Farhad Arbab}, year = {2009}, doi = {10.1016/j.entcs.2009.06.028}, url = {http://dx.doi.org/10.1016/j.entcs.2009.06.028}, researchr = {https://researchr.org/publication/ClarkePLA09}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {229}, number = {2}, pages = {43-58}, } @inproceedings{ClarkeL02, title = {Generic Haskell, Specifically}, author = {Dave Clarke and Andres Löh}, year = {2002}, tags = {Haskell}, researchr = {https://researchr.org/publication/ClarkeL02}, cites = {0}, citedby = {0}, pages = {21-47}, booktitle = {ifip2-1}, } @inproceedings{DrossopoulouCN06, title = {Types for Hierarchic Shapes}, author = {Sophia Drossopoulou and Dave Clarke and James Noble}, year = {2006}, doi = {10.1007/11693024_1}, url = {http://dx.doi.org/10.1007/11693024_1}, researchr = {https://researchr.org/publication/DrossopoulouCN06}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {ESOP}, } @inproceedings{ClarkeDMNW08, title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming}, author = {Dave Clarke and Sophia Drossopoulou and Peter Müller and James Noble and Tobias Wrigstad}, year = {2008}, doi = {10.1007/978-3-642-02047-6_4}, url = {http://dx.doi.org/10.1007/978-3-642-02047-6_4}, tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/ClarkeDMNW08}, cites = {0}, citedby = {0}, pages = {30-41}, booktitle = {ECOOPW}, } @inproceedings{ClarkeW03, title = {External Uniqueness Is Unique Enough}, author = {Dave Clarke and Tobias Wrigstad}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=176}, researchr = {https://researchr.org/publication/ClarkeW03}, cites = {0}, citedby = {0}, pages = {176-200}, booktitle = {ECOOP}, } @misc{Clarke01thegeneric, title = {The Generic Haskell User's Guide}, author = {Dave Clarke and Johan Jeuring and Andres Löh}, year = {2001}, tags = {Haskell}, researchr = {https://researchr.org/publication/Clarke01thegeneric}, cites = {0}, citedby = {0}, } @inproceedings{ClarkeWOJ08, title = {Minimal Ownership for Active Objects}, author = {Dave Clarke and Tobias Wrigstad and Johan Östlund and Einar Broch Johnsen}, year = {2008}, doi = {10.1007/978-3-540-89330-1_11}, url = {http://dx.doi.org/10.1007/978-3-540-89330-1_11}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ClarkeWOJ08}, cites = {0}, citedby = {0}, pages = {139-154}, booktitle = {aplas}, } @inproceedings{PotaninNCB06, title = {Generic ownership for generic Java}, author = {Alex Potanin and James Noble and Dave Clarke and Robert Biddle}, year = {2006}, doi = {10.1145/1167473.1167500}, url = {http://doi.acm.org/10.1145/1167473.1167500}, tags = {Java}, researchr = {https://researchr.org/publication/PotaninNCB06}, cites = {0}, citedby = {0}, pages = {311-324}, booktitle = {OOPSLA}, } @article{WrigstadC07, title = {Existential Owners for Ownership Types}, author = {Tobias Wrigstad and Dave Clarke}, year = {2007}, url = {http://www.jot.fm//issues/issue_2007_05/article5}, researchr = {https://researchr.org/publication/WrigstadC07}, cites = {0}, citedby = {0}, journal = {jot}, volume = {6}, number = {4}, pages = {141-159}, } @inproceedings{BonsangueCS09, title = {Automata for Context-Dependent Connectors}, author = {Marcello M. Bonsangue and Dave Clarke and Alexandra Silva}, year = {2009}, doi = {10.1007/978-3-642-02053-7_10}, url = {http://dx.doi.org/10.1007/978-3-642-02053-7_10}, tags = {context-aware}, researchr = {https://researchr.org/publication/BonsangueCS09}, cites = {0}, citedby = {0}, pages = {184-203}, booktitle = {coordination}, } @inproceedings{AtanassowCJ04, title = {UUXML: A Type-Preserving XML Schema-Haskell Data Binding}, author = {Frank Atanassow and Dave Clarke and Johan Jeuring}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=71}, tags = {XML, XML Schema, Haskell}, researchr = {https://researchr.org/publication/AtanassowCJ04}, cites = {0}, citedby = {0}, pages = {71-85}, booktitle = {PADL}, } @inproceedings{ClarkeCA04a, title = {Modelling Coordination in Biological Systems}, author = {Dave Clarke and David Costa and Farhad Arbab}, year = {2004}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/ClarkeCA04a}, cites = {0}, citedby = {0}, pages = {58-66}, booktitle = {ISoLA}, } @inproceedings{BoerCJ07, title = {A Complete Guide to the Future}, author = {Frank S. de Boer and Dave Clarke and Einar Broch Johnsen}, year = {2007}, doi = {10.1007/978-3-540-71316-6_22}, url = {http://dx.doi.org/10.1007/978-3-540-71316-6_22}, tags = {completeness}, researchr = {https://researchr.org/publication/BoerCJ07}, cites = {0}, citedby = {0}, pages = {316-330}, booktitle = {ESOP}, } @article{Clarke08:0, title = {A Basic Logic for Reasoning about Connector Reconfiguration}, author = {Dave Clarke}, year = {2008}, url = {http://iospress.metapress.com/content/y727h82347061252/}, tags = {logic}, researchr = {https://researchr.org/publication/Clarke08%3A0}, cites = {0}, citedby = {0}, journal = {FUIN}, volume = {82}, number = {4}, pages = {361-390}, } @inproceedings{ClarkeRN03, title = {Saving the world from bad beans: deployment-time confinement checking}, author = {Dave Clarke and Michael Richmond and James Noble}, year = {2003}, doi = {10.1145/949305.949339}, url = {http://doi.acm.org/10.1145/949305.949339}, tags = {deployment}, researchr = {https://researchr.org/publication/ClarkeRN03}, cites = {0}, citedby = {0}, pages = {374-387}, booktitle = {OOPSLA}, } @inproceedings{ArbabBCLM08, title = {Tiles for Reo}, author = {Farhad Arbab and Roberto Bruni and Dave Clarke and Ivan Lanese and Ugo Montanari}, year = {2008}, doi = {10.1007/978-3-642-03429-9_4}, url = {http://dx.doi.org/10.1007/978-3-642-03429-9_4}, researchr = {https://researchr.org/publication/ArbabBCLM08}, cites = {0}, citedby = {0}, pages = {37-55}, booktitle = {WADT}, } @proceedings{coordination-2010, title = {Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings}, year = {2010}, doi = {10.1007/978-3-642-13414-2}, url = {http://dx.doi.org/10.1007/978-3-642-13414-2}, tags = {modeling language, modeling, language modeling}, researchr = {https://researchr.org/publication/coordination-2010}, cites = {0}, citedby = {0}, booktitle = {Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings}, conference = {coordination}, editor = {Dave Clarke and Gul A. Agha}, volume = {6116}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-13413-5}, }