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.
Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. I REF föreslås en ny kombination av typsystem och flödesanalys.
Typing local control and state using flow analysis
{'venue': 'In ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}