Abstrakt. Vi definierar ett småskaligt operativt semantik för ECMAScript-standardspråket som motsvarar JavaScript, som en grund för att analysera säkerhetsegenskaper hos webbapplikationer och mashups. Semantiken bygger på språkstandarden och ett antal experiment med olika implementationer och webbläsare. Några grundläggande egenskaper hos semantiken bevisas, inklusive ett ljud teorem och en karakterisering av den nåbara delen av högen.
REF föreslog en av de första formella semantikerna för JavaScript-språket.
An operational semantics for javascript
{'venue': 'In Proc. of APLAS’08, volume 5356 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}