Matthias Keil
10 SlideShares 1 Suivi
Personal Information
Profession
University of Freiburg
Site Web
matthias-keil.de/
Mots-clés
contracts sandbox javascript treatjs identity proxies javascrip contract proxy blame intersection union
Tout plus

Présentations

(10)
Tout voir

Type-based Dependency Analysis

il y a 8 ans • 259 Vues

Type-based Dependency Analysis for JavaScript

il y a 8 ans • 440 Vues

Efficient Dynamic Access Analysis Using JavaScript Proxies

il y a 8 ans • 247 Vues

TreatJS: Higher-Order Contracts for JavaScript

il y a 8 ans • 478 Vues

Symbolic Solving of Extended Regular Expression Inequalities

il y a 8 ans • 610 Vues

TreatJS: Higher-Order Contracts for JavaScripts

il y a 8 ans • 246 Vues

On Contracts and Sandboxes for JavaScript

il y a 8 ans • 302 Vues

Blame Assignment for Higher-Order Contracts with Intersection and Union

il y a 8 ans • 468 Vues

On Contracts, Sandboxes, and Proxies for JavaScript

il y a 8 ans • 1802 Vues

Transparent Object Proxies for JavaScript

il y a 8 ans • 722 Vues
Personal Information
Profession
University of Freiburg
Site Web
matthias-keil.de/
Mots-clés
contracts sandbox javascript treatjs identity proxies javascrip contract proxy blame intersection union
Tout plus