LIPIcs, Volume 37
ECOOP 2015, July 5-10, 2015, Prague, Czech Republic
Editors: John Tang Boyland
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Proceedings{boyland:LIPIcs.ECOOP.2015, title = {{LIPIcs, Volume 37, ECOOP'15, Complete Volume}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015}, URN = {urn:nbn:de:0030-drops-52737}, doi = {10.4230/LIPIcs.ECOOP.2015}, annote = {Keywords: Object-oriented Programming} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. i-xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{boyland:LIPIcs.ECOOP.2015.i, author = {Boyland, John Tang}, title = {{Front Matter, Table of Contents, Preface, Artifacts, Conference Organization}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {i--xviii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.i}, URN = {urn:nbn:de:0030-drops-52463}, doi = {10.4230/LIPIcs.ECOOP.2015.i}, annote = {Keywords: Front Matter, Table of Contents, Preface, Artifacts, Conference Organization} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Bjarne Stroustrup. Object-Oriented Programming without Inheritance (Invited Talk). In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{stroustrup:LIPIcs.ECOOP.2015.1, author = {Stroustrup, Bjarne}, title = {{Object-Oriented Programming without Inheritance}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {1--1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.1}, URN = {urn:nbn:de:0030-drops-52129}, doi = {10.4230/LIPIcs.ECOOP.2015.1}, annote = {Keywords: object orientation, generic programming, polymorphism, concepts, encapsulation} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Jong-Deok Choi. Programming in the Large for the Internet of Things (Invited Talk). In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, p. 2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{choi:LIPIcs.ECOOP.2015.2, author = {Choi, Jong-Deok}, title = {{Programming in the Large for the Internet of Things}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {2--2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.2}, URN = {urn:nbn:de:0030-drops-52132}, doi = {10.4230/LIPIcs.ECOOP.2015.2}, annote = {Keywords: software development methodologies, software architecture, programming model, software engineering, IoT} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Alexander J. Summers. Software Verification "Across the Stack" (Invited Talk). In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, p. 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{summers:LIPIcs.ECOOP.2015.3, author = {Summers, Alexander J.}, title = {{Software Verification "Across the Stack"}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {3--3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.3}, URN = {urn:nbn:de:0030-drops-52141}, doi = {10.4230/LIPIcs.ECOOP.2015.3}, annote = {Keywords: software verification, program logic, automatic verifier, program correctness, SMT solvers} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, and Matthias Felleisen. Towards Practical Gradual Typing. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 4-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{takikawa_et_al:LIPIcs.ECOOP.2015.4, author = {Takikawa, Asumu and Feltey, Daniel and Dean, Earl and Flatt, Matthew and Findler, Robert Bruce and Tobin-Hochstadt, Sam and Felleisen, Matthias}, title = {{Towards Practical Gradual Typing}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {4--27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.4}, URN = {urn:nbn:de:0030-drops-52156}, doi = {10.4230/LIPIcs.ECOOP.2015.4}, annote = {Keywords: Gradual typing, object-oriented programming, performance evaluation} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Matthias Keil and Peter Thiemann. TreatJS: Higher-Order Contracts for JavaScripts. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 28-51, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{keil_et_al:LIPIcs.ECOOP.2015.28, author = {Keil, Matthias and Thiemann, Peter}, title = {{TreatJS: Higher-Order Contracts for JavaScripts}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {28--51}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.28}, URN = {urn:nbn:de:0030-drops-52164}, doi = {10.4230/LIPIcs.ECOOP.2015.28}, annote = {Keywords: Higher-Order Contracts, JavaScript, Proxies} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala. Trust, but Verify: Two-Phase Typing for Dynamic Languages. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 52-75, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{vekris_et_al:LIPIcs.ECOOP.2015.52, author = {Vekris, Panagiotis and Cosman, Benjamin and Jhala, Ranjit}, title = {{Trust, but Verify: Two-Phase Typing for Dynamic Languages}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {52--75}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.52}, URN = {urn:nbn:de:0030-drops-52173}, doi = {10.4230/LIPIcs.ECOOP.2015.52}, annote = {Keywords: Dynamic Languages, Type Systems, Refinement Types, Intersection Types, Overloading} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek. Concrete Types for TypeScript. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 76-100, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{richards_et_al:LIPIcs.ECOOP.2015.76, author = {Richards, Gregor and Zappa Nardelli, Francesco and Vitek, Jan}, title = {{Concrete Types for TypeScript}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {76--100}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.76}, URN = {urn:nbn:de:0030-drops-52185}, doi = {10.4230/LIPIcs.ECOOP.2015.76}, annote = {Keywords: Gradual typing, dynamic languages} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Maxime Chevalier-Boisvert and Marc Feeley. Simple and Effective Type Check Removal through Lazy Basic Block Versioning. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 101-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{chevalierboisvert_et_al:LIPIcs.ECOOP.2015.101, author = {Chevalier-Boisvert, Maxime and Feeley, Marc}, title = {{Simple and Effective Type Check Removal through Lazy Basic Block Versioning}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {101--123}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.101}, URN = {urn:nbn:de:0030-drops-52196}, doi = {10.4230/LIPIcs.ECOOP.2015.101}, annote = {Keywords: Just-In-Time Compilation, Dynamic Optimization, Type Checking, Code Generation, JavaScript} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Abhilash Bhandari and V. Krishna Nandivada. Loop Tiling in the Presence of Exceptions. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 124-148, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{bhandari_et_al:LIPIcs.ECOOP.2015.124, author = {Bhandari, Abhilash and Nandivada, V. Krishna}, title = {{Loop Tiling in the Presence of Exceptions}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {124--148}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.124}, URN = {urn:nbn:de:0030-drops-52202}, doi = {10.4230/LIPIcs.ECOOP.2015.124}, annote = {Keywords: Compiler optimizations, semantics preservation, exceptions, loop-tiling} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter Thiemann. Transparent Object Proxies in JavaScript. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 149-173, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{keil_et_al:LIPIcs.ECOOP.2015.149, author = {Keil, Matthias and Guria, Sankha Narayan and Schlegel, Andreas and Geffken, Manuel and Thiemann, Peter}, title = {{Transparent Object Proxies in JavaScript}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {149--173}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.149}, URN = {urn:nbn:de:0030-drops-52299}, doi = {10.4230/LIPIcs.ECOOP.2015.149}, annote = {Keywords: JavaScript, Proxies, Equality, Contracts} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Joseph Lee, Jonathan Aldrich, Troy Shaw, and Alex Potanin. A Theory of Tagged Objects. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 174-197, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{lee_et_al:LIPIcs.ECOOP.2015.174, author = {Lee, Joseph and Aldrich, Jonathan and Shaw, Troy and Potanin, Alex}, title = {{A Theory of Tagged Objects}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {174--197}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.174}, URN = {urn:nbn:de:0030-drops-52305}, doi = {10.4230/LIPIcs.ECOOP.2015.174}, annote = {Keywords: objects, classes, tags, nominal and structural types} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 198-221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{jones_et_al:LIPIcs.ECOOP.2015.198, author = {Jones, Timothy and Homer, Michael and Noble, James}, title = {{Brand Objects for Nominal Typing}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {198--221}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.198}, URN = {urn:nbn:de:0030-drops-52314}, doi = {10.4230/LIPIcs.ECOOP.2015.198}, annote = {Keywords: brands, types, structural, nominal, Grace} }
Feedback for Dagstuhl Publishing