default search action
29th ECOOP 2015: Prague, Czech Republic
- John Tang Boyland:
29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic. LIPIcs 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-86-6 - Front Matter, Table of Contents, Preface, Artifacts, Conference Organization. i-xviii
- Bjarne Stroustrup:
Object-Oriented Programming without Inheritance (Invited Talk). 1-1 - Jong-Deok Choi:
Programming in the Large for the Internet of Things (Invited Talk). 2-2 - Alexander J. Summers:
Software Verification "Across the Stack" (Invited Talk). 3-3 - Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt
, Matthias Felleisen:
Towards Practical Gradual Typing. 4-27 - Matthias Keil
TreatJS: Higher-Order Contracts for JavaScripts. 28-51 - Panagiotis Vekris, Benjamin Cosman
Trust, but Verify: Two-Phase Typing for Dynamic Languages. 52-75 - Gregor Richards, Francesco Zappa Nardelli, Jan Vitek:
Concrete Types for TypeScript. 76-100 - Maxime Chevalier-Boisvert, Marc Feeley:
Simple and Effective Type Check Removal through Lazy Basic Block Versioning. 101-123 - Abhilash Bhandari, V. Krishna Nandivada
Loop Tiling in the Presence of Exceptions. 124-148 - Matthias Keil
Transparent Object Proxies in JavaScript. 149-173 - Joseph Lee, Jonathan Aldrich
A Theory of Tagged Objects. 174-197 - Timothy Jones, Michael Homer, James Noble
Brand Objects for Nominal Typing. 198-221 - Paolina Centonze, Marco Pistoia, Omer Tripp:
Access-rights Analysis in the Presence of Subjects. 222-246 - Aleksandar S. Dimovski
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. 247-270 - Vincent St-Amour, Shu-yu Guo:
Optimization Coaching for JavaScript. 271-295 - Lu Fang, Liang Dou, Guoqing Xu:
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. 296-320 - Saba Alimadadi, Ali Mesbah
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. 321-345 - Yuheng Long, Yu David Liu, Hridesh Rajan
Intensional Effect Polymorphism. 346-370 - Riyaz Haque
Type Inference for Place-Oblivious Objects. 371-395 - Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
Asynchronous Liquid Separation Types. 396-420 - Shams Imam, Vivek Sarkar:
The Eureka Programming Model for Speculative Task Parallelism. 421-444 - Gustavo Petri, Jan Vitek, Suresh Jagannathan:
Cooking the Books: Formalizing JMM Implementation Recipes. 445-469 - Brijesh Dongol
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. 470-494 - Flávio Medeiros, Christian Kästner
The Love/Hate Relationship with the C Preprocessor: An Interview Study. 495-518 - Michael Pradel, Koushik Sen:
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. 519-541 - Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. 542-567 - Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich:
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. 568-590 - Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
Streams a la carte: Extensible Pipelines with Object Algebras. 591-613 - Malte Schwerhoff, Alexander J. Summers:
Lightweight Support for Magic Wands in an Automatic Verifier. 614-638 - Pontus Boström
Modular Verification of Finite Blocking in Non-terminating Programs. 639-663 - Bart Jacobs
Modular Termination Verification. 664-688 - David Hauzar, Jan Kofron
Framework for Static Analysis of PHP Applications. 689-711 - Shiyi Wei, Barbara G. Ryder:
Adaptive Context-sensitive Analysis for JavaScript. 712-734 - Changhee Park, Sukyoung Ryu
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. 735-756
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.
last updated on 2024-11-15 19:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: