Dependent types for JavaScript
| Autor: | ChughRavi, HermanDavid, JhalaRanjit |
|---|---|
| Rok vydání: | 2012 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Programming Languages Computer science Programming language JavaScript Variety (linguistics) computer.software_genre Computer Graphics and Computer-Aided Design Inheritance (object-oriented programming) TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Benchmark (computing) computer Software Programming Languages (cs.PL) computer.programming_language Heap (data structure) |
| Zdroj: | OOPSLA |
| DOI: | 10.1145/2384616.2384659 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|