Abstrakt. JavaScript är ett populärt språk för webbskript på klientsidan. Det har ett tvivelaktigt rykte bland programmerare av två skäl. För det första är många JavaScript-program skrivna mot ett snabbt föränderligt API vars implementationer ibland är motsägelsefulla och idiosynkratiska. För det andra är språket bara svagt skrivbart och kommer praktiskt taget utan utvecklingsverktyg. Det nuvarande arbetet är ett första försök att ta upp den andra punkten. Det gör det genom att definiera en typ system som spårar de möjliga egenskaperna hos ett objekt och flaggor misstänkta typ omvandlingar. Eftersom JavaScript är ett klasslöst, objektbaserat språk med förstklassiga funktioner, måste typsystemet innehålla singleton-typer, undertypning och förstklassiga skivetiketter. Typsystemet omfattar en representativ delmängd av språket och det finns ett typsondbevis med avseende på en operationell semantik.
I tidigare arbete har den andra författaren föreslagit ett typsystem för JavaScript REF.
Towards a type system for analyzing javascript programs
{'venue': 'ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}