Dependent Types for JavaScript

Details Dependent Types for JavaScript Dependent Types for JavaScript

2011-12-18

arxiv.org/abs/1112.4106v2

Computer Science

Programming Languages

Scientific paper

We present Dependent JavaScript (DJS), a statically-typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, prototype inheritance, and arrays through a combination of nested refinement types, strong updates to the heap, and heap unrolling to precisely track prototype hierarchies. With our implementation of DJS, we demonstrate that the type system is expressive enough to reason about a variety of tricky idioms found in small examples drawn from several sources, including the popular book JavaScript: The Good Parts and the SunSpider benchmark suite.

Affiliated with

Also associated with

No associations

Rating

Dependent Types for JavaScript does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Dependent Types for JavaScript, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dependent Types for JavaScript will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-25639