default search action
Dagstuhl Artifacts Series, Volume 2
Volume 2, Number 1, 2016
- Matthew Flatt, Tijs van der Storm:
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:x - Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt:
Fine-grained Language Composition: A Case Study (Artifact). 01:1-01:2 - Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt:
Making an Embedded DBMS JIT-friendly (Artifact). 02:1-02:2 - Jon Eyolfson, Patrick Lam:
C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). 03:1-03:2 - Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). 04:1-04:2 - Kamil Jezek, Jens Dietrich:
Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact). 05:1-05:2 - Timothy Jones, Michael Homer:
Object Inheritance Without Classes (Artifact). 06:1-06:2 - Jaakko Järvi, Sean Parent:
One Way to Select Many (Artifact). 07:1-07:2 - Tian Tan, Yue Li, Yifei Zhang, Jingling Xue
:
Program Tailoring: Slicing by Sequential Criteria (Artifact). 08:1-08:3 - Leandro Facchinetti, Zachary Palmer, Scott F. Smith:
Higher-Order Demand-Driven Program Analysis (Artifact). 09:1-09:2 - Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser:
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). 10:1-10:3 - Alceste Scalas, Nobuko Yoshida:
Lightweight Session Programming in Scala (Artifact). 11:1-11:2 - Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). 12:1-12:2 - Janwillem Swalens:
Transactional Tasks: Parallelism in Software Transactions (Artifact). 13:1-13:2 - John Toman, Dan Grossman:
Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact). 14:1-14:2
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-12-02 21:29 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: