ISSN TBA



Volume 1 (2015)

Issue 1
TreatJS: Higher-Order Contracts for JavaScript (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 01:1-01:2, doi: 10.4230/DARTS.1.1.1

Transparent Object Proxies for JavaScript (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 02:1-02:2, doi: 10.4230/DARTS.1.1.2

A Theory of Tagged Objects (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 03:1-03:3, doi: 10.4230/DARTS.1.1.3

Brand Objects for Nominal Typing (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 04:1-04:2, doi: 10.4230/DARTS.1.1.4

Optimization Coaching for JavaScript (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 05:1-05:2, doi: 10.4230/DARTS.1.1.5

The Eureka Programming Model for Speculative Task Parallelism (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 06:1-06:2, doi: 10.4230/DARTS.1.1.6

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 07:1-07:32, doi: 10.4230/DARTS.1.1.7

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 08:1-08:2, doi: 10.4230/DARTS.1.1.8

Streams la carte: Extensible Pipelines with Object Algebras (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 09:1-09:2, doi: 10.4230/DARTS.1.1.9

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 10:1-10:2, doi: 10.4230/DARTS.1.1.10

Framework for Static Analysis of PHP Applications (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 11:1-11:2, doi: 10.4230/DARTS.1.1.11

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 12:1-12:2, doi: 10.4230/DARTS.1.1.12



More about Dagstuhl Artifacts Series