-
1
-
2
Typed-based verification of Web sandboxes
Veröffentlicht in Journal of computer security
VolltextArtikel -
3
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Veröffentlicht in arXiv.org
VolltextArtikel -
4
-
5
Putting in all the stops: execution control for JavaScript
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
6
A tested semantics for getters, setters, and eval in JavaScript
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
Data Science as a Route to AI for Middle- and High-School Students
Veröffentlicht in arXiv.org
VolltextArtikel -
13
Putting in All the Stops: Execution Control for JavaScript
Veröffentlicht in arXiv.org
VolltextArtikel -
14
ADsafety: Type-Based Verification of JavaScript Sandboxing
Veröffentlicht in arXiv.org
VolltextArtikel