Search dblp for Publications

export results for "toc:db/conf/ecoop/ecoop2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ecoop/Alimadadi0P15,
  author       = {Saba Alimadadi and
                  Ali Mesbah and
                  Karthik Pattabiraman},
  editor       = {John Tang Boyland},
  title        = {Hybrid DOM-Sensitive Change Impact Analysis for JavaScript},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {321--345},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.321},
  doi          = {10.4230/LIPICS.ECOOP.2015.321},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Alimadadi0P15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BhandariN15,
  author       = {Abhilash Bhandari and
                  V. Krishna Nandivada},
  editor       = {John Tang Boyland},
  title        = {Loop Tiling in the Presence of Exceptions},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {124--148},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.124},
  doi          = {10.4230/LIPICS.ECOOP.2015.124},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/BhandariN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BiboudisPFS15,
  author       = {Aggelos Biboudis and
                  Nick Palladinos and
                  George Fourtounis and
                  Yannis Smaragdakis},
  editor       = {John Tang Boyland},
  title        = {Streams a la carte: Extensible Pipelines with Object Algebras},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {591--613},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.591},
  doi          = {10.4230/LIPICS.ECOOP.2015.591},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BiboudisPFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BostromM15,
  author       = {Pontus Bostr{\"{o}}m and
                  Peter M{\"{u}}ller},
  editor       = {John Tang Boyland},
  title        = {Modular Verification of Finite Blocking in Non-terminating Programs},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {639--663},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.639},
  doi          = {10.4230/LIPICS.ECOOP.2015.639},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BostromM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BurckhardtLPF15,
  author       = {Sebastian Burckhardt and
                  Daan Leijen and
                  Jonathan Protzenko and
                  Manuel F{\"{a}}hndrich},
  editor       = {John Tang Boyland},
  title        = {Global Sequence Protocol: {A} Robust Abstraction for Replicated Shared
                  State},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {568--590},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.568},
  doi          = {10.4230/LIPICS.ECOOP.2015.568},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BurckhardtLPF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/CentonzePT15,
  author       = {Paolina Centonze and
                  Marco Pistoia and
                  Omer Tripp},
  editor       = {John Tang Boyland},
  title        = {Access-rights Analysis in the Presence of Subjects},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {222--246},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.222},
  doi          = {10.4230/LIPICS.ECOOP.2015.222},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/CentonzePT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Chevalier-Boisvert15,
  author       = {Maxime Chevalier{-}Boisvert and
                  Marc Feeley},
  editor       = {John Tang Boyland},
  title        = {Simple and Effective Type Check Removal through Lazy Basic Block Versioning},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {101--123},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.101},
  doi          = {10.4230/LIPICS.ECOOP.2015.101},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Chevalier-Boisvert15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Choi15,
  author       = {Jong{-}Deok Choi},
  editor       = {John Tang Boyland},
  title        = {Programming in the Large for the Internet of Things (Invited Talk)},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {2--2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.2},
  doi          = {10.4230/LIPICS.ECOOP.2015.2},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Choi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/DimovskiBW15,
  author       = {Aleksandar S. Dimovski and
                  Claus Brabrand and
                  Andrzej Wasowski},
  editor       = {John Tang Boyland},
  title        = {Variability Abstractions: Trading Precision for Speed in Family-Based
                  Analyses},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {247--270},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.247},
  doi          = {10.4230/LIPICS.ECOOP.2015.247},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/DimovskiBW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/DongolDGS15,
  author       = {Brijesh Dongol and
                  John Derrick and
                  Lindsay Groves and
                  Graeme Smith},
  editor       = {John Tang Boyland},
  title        = {Defining Correctness Conditions for Concurrent Objects in Multicore
                  Architectures},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {470--494},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.470},
  doi          = {10.4230/LIPICS.ECOOP.2015.470},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/DongolDGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/FangDX15,
  author       = {Lu Fang and
                  Liang Dou and
                  Guoqing Xu},
  editor       = {John Tang Boyland},
  title        = {PerfBlower: Quickly Detecting Memory-Related Performance Problems
                  via Amplification},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {296--320},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.296},
  doi          = {10.4230/LIPICS.ECOOP.2015.296},
  timestamp    = {Mon, 12 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/FangDX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HaqueP15,
  author       = {Riyaz Haque and
                  Jens Palsberg},
  editor       = {John Tang Boyland},
  title        = {Type Inference for Place-Oblivious Objects},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {371--395},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.371},
  doi          = {10.4230/LIPICS.ECOOP.2015.371},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HaqueP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HauzarK15,
  author       = {David Hauzar and
                  Jan Kofron},
  editor       = {John Tang Boyland},
  title        = {Framework for Static Analysis of {PHP} Applications},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {689--711},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.689},
  doi          = {10.4230/LIPICS.ECOOP.2015.689},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HauzarK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/ImamS15,
  author       = {Shams Imam and
                  Vivek Sarkar},
  editor       = {John Tang Boyland},
  title        = {The Eureka Programming Model for Speculative Task Parallelism},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {421--444},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.421},
  doi          = {10.4230/LIPICS.ECOOP.2015.421},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ImamS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/JacobsBK15,
  author       = {Bart Jacobs and
                  Dragan Bosnacki and
                  Ruurd Kuiper},
  editor       = {John Tang Boyland},
  title        = {Modular Termination Verification},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {664--688},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.664},
  doi          = {10.4230/LIPICS.ECOOP.2015.664},
  timestamp    = {Tue, 21 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/JacobsBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/JonesHN15,
  author       = {Timothy Jones and
                  Michael Homer and
                  James Noble},
  editor       = {John Tang Boyland},
  title        = {Brand Objects for Nominal Typing},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {198--221},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.198},
  doi          = {10.4230/LIPICS.ECOOP.2015.198},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/JonesHN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/KeilGSGT15,
  author       = {Matthias Keil and
                  Sankha Narayan Guria and
                  Andreas Schlegel and
                  Manuel Geffken and
                  Peter Thiemann},
  editor       = {John Tang Boyland},
  title        = {Transparent Object Proxies in JavaScript},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {149--173},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.149},
  doi          = {10.4230/LIPICS.ECOOP.2015.149},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/KeilGSGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/KeilT15,
  author       = {Matthias Keil and
                  Peter Thiemann},
  editor       = {John Tang Boyland},
  title        = {TreatJS: Higher-Order Contracts for JavaScripts},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {28--51},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.28},
  doi          = {10.4230/LIPICS.ECOOP.2015.28},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/KeilT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/KloosMV15,
  author       = {Johannes Kloos and
                  Rupak Majumdar and
                  Viktor Vafeiadis},
  editor       = {John Tang Boyland},
  title        = {Asynchronous Liquid Separation Types},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {396--420},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.396},
  doi          = {10.4230/LIPICS.ECOOP.2015.396},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/KloosMV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/LeeASP15,
  author       = {Joseph Lee and
                  Jonathan Aldrich and
                  Troy Shaw and
                  Alex Potanin},
  editor       = {John Tang Boyland},
  title        = {A Theory of Tagged Objects},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {174--197},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.174},
  doi          = {10.4230/LIPICS.ECOOP.2015.174},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/LeeASP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/LongLR15,
  author       = {Yuheng Long and
                  Yu David Liu and
                  Hridesh Rajan},
  editor       = {John Tang Boyland},
  title        = {Intensional Effect Polymorphism},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {346--370},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.346},
  doi          = {10.4230/LIPICS.ECOOP.2015.346},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LongLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/MedeirosKRNG15,
  author       = {Fl{\'{a}}vio Medeiros and
                  Christian K{\"{a}}stner and
                  M{\'{a}}rcio Ribeiro and
                  Sarah Nadi and
                  Rohit Gheyi},
  editor       = {John Tang Boyland},
  title        = {The Love/Hate Relationship with the {C} Preprocessor: An Interview
                  Study},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {495--518},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.495},
  doi          = {10.4230/LIPICS.ECOOP.2015.495},
  timestamp    = {Thu, 28 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/MedeirosKRNG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/ParkR15,
  author       = {Changhee Park and
                  Sukyoung Ryu},
  editor       = {John Tang Boyland},
  title        = {Scalable and Precise Static Analysis of JavaScript Applications via
                  Loop-Sensitivity},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {735--756},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.735},
  doi          = {10.4230/LIPICS.ECOOP.2015.735},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ParkR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/PetriVJ15,
  author       = {Gustavo Petri and
                  Jan Vitek and
                  Suresh Jagannathan},
  editor       = {John Tang Boyland},
  title        = {Cooking the Books: Formalizing {JMM} Implementation Recipes},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {445--469},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.445},
  doi          = {10.4230/LIPICS.ECOOP.2015.445},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/PetriVJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/PradelS15,
  author       = {Michael Pradel and
                  Koushik Sen},
  editor       = {John Tang Boyland},
  title        = {The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type
                  Conversions in JavaScript},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {519--541},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.519},
  doi          = {10.4230/LIPICS.ECOOP.2015.519},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/PradelS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/RichardsNV15,
  author       = {Gregor Richards and
                  Francesco Zappa Nardelli and
                  Jan Vitek},
  editor       = {John Tang Boyland},
  title        = {Concrete Types for TypeScript},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {76--100},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.76},
  doi          = {10.4230/LIPICS.ECOOP.2015.76},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/RichardsNV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/SchwerhoffS15,
  author       = {Malte Schwerhoff and
                  Alexander J. Summers},
  editor       = {John Tang Boyland},
  title        = {Lightweight Support for Magic Wands in an Automatic Verifier},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {614--638},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.614},
  doi          = {10.4230/LIPICS.ECOOP.2015.614},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/SchwerhoffS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/ShinnarSH15,
  author       = {Avraham Shinnar and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
                  Martin Hirzel},
  editor       = {John Tang Boyland},
  title        = {A Pattern Calculus for Rule Languages: Expressiveness, Compilation,
                  and Mechanization},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {542--567},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.542},
  doi          = {10.4230/LIPICS.ECOOP.2015.542},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ShinnarSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/St-AmourG15,
  author       = {Vincent St{-}Amour and
                  Shu{-}yu Guo},
  editor       = {John Tang Boyland},
  title        = {Optimization Coaching for JavaScript},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {271--295},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.271},
  doi          = {10.4230/LIPICS.ECOOP.2015.271},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/St-AmourG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Stroustrup15,
  author       = {Bjarne Stroustrup},
  editor       = {John Tang Boyland},
  title        = {Object-Oriented Programming without Inheritance (Invited Talk)},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {1--1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.1},
  doi          = {10.4230/LIPICS.ECOOP.2015.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Stroustrup15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Summers15,
  author       = {Alexander J. Summers},
  editor       = {John Tang Boyland},
  title        = {Software Verification "Across the Stack" (Invited Talk)},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {3--3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.3},
  doi          = {10.4230/LIPICS.ECOOP.2015.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Summers15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/TakikawaFDFFTF15,
  author       = {Asumu Takikawa and
                  Daniel Feltey and
                  Earl Dean and
                  Matthew Flatt and
                  Robert Bruce Findler and
                  Sam Tobin{-}Hochstadt and
                  Matthias Felleisen},
  editor       = {John Tang Boyland},
  title        = {Towards Practical Gradual Typing},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {4--27},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.4},
  doi          = {10.4230/LIPICS.ECOOP.2015.4},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/TakikawaFDFFTF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/VekrisCJ15,
  author       = {Panagiotis Vekris and
                  Benjamin Cosman and
                  Ranjit Jhala},
  editor       = {John Tang Boyland},
  title        = {Trust, but Verify: Two-Phase Typing for Dynamic Languages},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {52--75},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.52},
  doi          = {10.4230/LIPICS.ECOOP.2015.52},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/VekrisCJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/WeiR15,
  author       = {Shiyi Wei and
                  Barbara G. Ryder},
  editor       = {John Tang Boyland},
  title        = {Adaptive Context-sensitive Analysis for JavaScript},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {712--734},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.712},
  doi          = {10.4230/LIPICS.ECOOP.2015.712},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/WeiR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/X15,
  editor       = {John Tang Boyland},
  title        = {Front Matter, Table of Contents, Preface, Artifacts, Conference Organization},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {i--xviii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.i},
  doi          = {10.4230/LIPICS.ECOOP.2015.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/X15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ecoop/2015,
  editor       = {John Tang Boyland},
  title        = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {http://www.dagstuhl.de/dagpub/978-3-939897-86-6},
  isbn         = {978-3-939897-86-6},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.