Abstrakt. Program skrivna i skriptspråk använder idiomer som förvirrar konventionella typsystem. I detta dokument lyfter vi fram en viktig uppsättning relaterade idiom: användningen av lokal kontroll och stat för att resonera informellt om typer. För att ta itu med dessa idiomer formaliserar vi run-time-taggar och deras relation till typer, och använder dessa för att presentera en ny strategi för att integrera maskinskrivning med flödesanalys på ett modulärt sätt. Vi visar att i vår separation av maskinskrivning och flödesanalys, varje komponent förblir konventionell, deras sammansättning är enkel, men resultatet kan hantera dessa idiomer bättre än någon av dem ensam.
Guha m.fl. REF utvecklade en typkontroll för JavaScript som kombinerar maskinskrivning och flödesanalys för att stödja användningen av lokal kontroll och stat att resonera informellt om typer.
Typing local control and state using flow analysis
{'venue': 'In ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}