Type checking for JavaScript

MaRDI QIDQ2848694zbMATH OpenFDO

Authors Christopher Anderson, Paola Giannini

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051340

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 2087533
• A semantics for type checking
• Type checking with open type functions
• Scripting the type inference process
• Hybrid type checking
• Preemptive type checking
• JavaScript
• A partial type checking algorithm for Type:Type

Cited in

(8)

• Abstract domains for type juggling
• Preemptive type checking
• Static type checking without downcast operator
• Types for flexible objects
• Towards a program logic for JavaScript
• Programming Languages and Systems
• A trusted mechanised JavaSript specification
• Database Programming Languages

Describes a project that uses

Uses Software

• JavaScript

This page was built for publication: Type checking for JavaScript

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848694)