default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Artifacts Series - DARTS, Volume 1
Volume 1, Number 1, 2015
- Camil Demetrescu, Matthew Flatt:
Front Matter, Table of Contents. 00:i-00:vi - Matthias Keil
, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript (Artifact). 01:1-01:2 - Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies for JavaScript (Artifact). 02:1-02:2 - Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung:
A Theory of Tagged Objects (Artifact). 03:1-03-3 - Timothy Jones, Michael Homer, James Noble:
Brand Objects for Nominal Typing (Artifact). 04:1-04:2 - Vincent St-Amour, Shu-yu Guo:
Optimization Coaching for JavaScript (Artifact). 05:1-05:2 - Shams Imam, Vivek Sarkar:
The Eureka Programming Model for Speculative Task Parallelism (Artifact). 06:1-06:2 - Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi:
The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact). 07:1-07:32 - Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). 08:1-08:2 - Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact). 09:1-09:2 - Malte Schwerhoff, Alexander J. Summers:
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact). 10:1-10:2 - David Hauzar, Jan Kofron:
Framework for Static Analysis of PHP Applications (Artifact). 11:1-11:2 - Changhee Park, Sukyoung Ryu:
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact). 12:1-12: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 2025-01-14 21:16 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:
