Matthias Keil
10 SlideShares 1 Seguindo
Personal Information
Cargo
University of Freiburg
Site
matthias-keil.de/
Marcadores
contracts sandbox javascript treatjs identity proxies javascrip contract proxy blame intersection union
Ver mais

Apresentações

(10)
Ver tudo

Type-based Dependency Analysis

Há 8 anos • 259 Visualizações

Type-based Dependency Analysis for JavaScript

Há 8 anos • 440 Visualizações

Efficient Dynamic Access Analysis Using JavaScript Proxies

Há 8 anos • 247 Visualizações

TreatJS: Higher-Order Contracts for JavaScript

Há 8 anos • 478 Visualizações

Symbolic Solving of Extended Regular Expression Inequalities

Há 8 anos • 610 Visualizações

TreatJS: Higher-Order Contracts for JavaScripts

Há 8 anos • 246 Visualizações

On Contracts and Sandboxes for JavaScript

Há 8 anos • 302 Visualizações

Blame Assignment for Higher-Order Contracts with Intersection and Union

Há 8 anos • 468 Visualizações

On Contracts, Sandboxes, and Proxies for JavaScript

Há 8 anos • 1802 Visualizações

Transparent Object Proxies for JavaScript

Há 8 anos • 722 Visualizações
Personal Information
Cargo
University of Freiburg
Site
matthias-keil.de/
Marcadores
contracts sandbox javascript treatjs identity proxies javascrip contract proxy blame intersection union
Ver mais