Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450336901

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gradual certified programming in coq

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816710 ◽

2015 ◽

Cited By ~ 8

Author(s):

Éric Tanter ◽

Nicolas Tabareau

Download Full-text

Message safety in Dart

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816711 ◽

2015 ◽

Cited By ~ 5

Author(s):

Erik Ernst ◽

Anders Møller ◽

Mathias Schwarz ◽

Fabio Strocco

Download Full-text

Access control to reflection with object ownership

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816721 ◽

2015 ◽

Cited By ~ 1

Author(s):

Camille Teruel ◽

Stéphane Ducasse ◽

Damien Cassou ◽

Marcus Denker

Keyword(s):

Access Control

Download Full-text

Tracking down performance variation against source code evolution

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816718 ◽

2015 ◽

Cited By ~ 8

Author(s):

Juan Pablo Sandoval Alcocer ◽

Alexandre Bergel

Keyword(s):

Source Code ◽

Performance Variation ◽

Code Evolution

Download Full-text

A formalization of typed lua

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816709 ◽

2015 ◽

Cited By ~ 8

Author(s):

André Murbach Maidl ◽

Fabio Mascarenhas ◽

Roberto Ierusalimschy

Download Full-text

From APIs to languages: generalising method names

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816708 ◽

2015 ◽

Author(s):

Michael Homer ◽

Timothy Jones ◽

James Noble

Download Full-text

Measuring polymorphism in python programs

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816717 ◽

2015 ◽

Cited By ~ 5

Author(s):

Beatrice Åkerblom ◽

Tobias Wrigstad

Download Full-text

An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816720 ◽

2015 ◽

Cited By ~ 8

Author(s):

Lars Fischer ◽

Stefan Hanenberg

Keyword(s):

Empirical Investigation ◽

Type Systems ◽

Code Completion

Download Full-text

Control-flow analysis of dynamic languages via pointer analysis

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816712 ◽

2015 ◽

Author(s):

Steven Lyde ◽

William E. Byrd ◽

Matthew Might

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Pointer Analysis ◽

Dynamic Languages ◽

Control Flow Analysis

Download Full-text

Compiling for multi-language task migration

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816713 ◽

2015 ◽

Author(s):

Marc Feeley

Keyword(s):

Task Migration

Download Full-text

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Gradual certified programming in coq

Message safety in Dart

Access control to reflection with object ownership

Tracking down performance variation against source code evolution

A formalization of typed lua

From APIs to languages: generalising method names

Measuring polymorphism in python programs

An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio

Control-flow analysis of dynamic languages via pointer analysis

Compiling for multi-language task migration

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015
Latest Publications