skip to main content
10.1145/2989225acmconferencesBook PagePublication PagessplashConference Proceedingsconference-collections
DLS 2016: Proceedings of the 12th Symposium on Dynamic Languages
ACM2016 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Amsterdam Netherlands 1 November 2016
ISBN:
978-1-4503-4445-6
Published:
01 November 2016
Sponsors:
In-Cooperation:
Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
SESSION: Papers
research-article
Type safety analysis for Dart

Optional typing is traditionally viewed as a compromise between static and dynamic type checking, where code without type annotations is not checked until runtime. We demonstrate that optional type annotations in Dart programs can be integrated into a ...

research-article
Type unsoundness in practice: an empirical study of Dart

The type system in the Dart programming language is deliberately designed to be unsound: for a number of reasons, it may happen that a program encounters type errors at runtime although the static type checker reports no warnings. According to the ...

research-article
Precise and scalable static analysis of jQuery using a regular expression domain

jQuery is the most popular JavaScript library but the state-of-the-art static analyzers for JavaScript applications fail to analyze simple programs that use jQuery. In this paper, we present a novel abstract string domain whose elements are simple ...

research-article
Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism

Multiple inheritance is often criticised for the ambiguity that arises when multiple parents want to pass on a feature with the same name to their offspring. A survey of programming languages reveals that no programming language has an inherently ...

research-article
Parallel virtual machines with RPython

The RPython framework takes an interpreter for a dynamic language as its input and produces a Virtual Machine (VM) for that language. RPython is being used to develop PyPy, a high-performance Python interpreter. However, the produced VM does not support ...

research-article
Building efficient and highly run-time adaptable virtual machines

Programming language virtual machines (VMs) realize language semantics, enforce security properties, and execute applications efficiently. Fully Reflective Execution Environments (EEs) are VMs that additionally expose their whole structure and behavior ...

research-article
Efficiently implementing the copy semantics of MATLAB's arrays in JavaScript

Compiling MATLAB---a dynamic, array-based language---to JavaScript is an attractive proposal: the output code can be deployed on a platform used by billions and can leverage the countless hours that have gone into making JavaScript JIT engines fast. ...

research-article
Optimizing R language execution via aggressive speculation

The R language, from the point of view of language design and implementation, is a unique combination of various programming language concepts. It has functional characteristics like lazy evaluation of arguments, but also allows expressions to have ...

research-article
A small embedding of logic programming with a simple complete search

We present a straightforward, call-by-value embedding of a small logic programming language with a simple complete search. We construct the entire language in 54 lines of Racket---half of which implement unification. We then layer over it, in 43 lines, ...

research-article
Modular semantic actions

Parser generators give programmers a convenient and declarative way to write parsers and other language-processing applications, but their mechanisms for extension and code reuse often leave something to be desired. We introduce Ohm, a parser generator ...

research-article
Cross-language compiler benchmarking: are we fast yet?

Comparing the performance of programming languages is difficult because they differ in many aspects including preferred programming abstractions, available frameworks, and their runtime systems. Nonetheless, the question about relative performance ...

Contributors
  • Pontifical Catholic University of Rio de Janeiro

Index Terms

  1. Proceedings of the 12th Symposium on Dynamic Languages

    Recommendations

    Acceptance Rates

    Overall Acceptance Rate32of77submissions,42%
    YearSubmittedAcceptedRate
    DLS '14281346%
    DLS '1322941%
    DLS '09271037%
    Overall773242%