<--- Back to Details
First PageDocument Content
Computing / Computer programming / Software engineering / Functional languages / High-level programming languages / Computer access control / Object-capability model / JavaScript / Heap / Topological space / Monad / Caja project
Date: 2010-03-08 04:28:13
Computing
Computer programming
Software engineering
Functional languages
High-level programming languages
Computer access control
Object-capability model
JavaScript
Heap
Topological space
Monad
Caja project

Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Add to Reading List

Source URL: www.doc.ic.ac.uk

Download Document from Source Website

File Size: 326,19 KB

Share Document on Facebook

Similar Documents

Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD

Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD

DocID: 1re5I - View Document

Using Multi Level Modelling Techniques for Managing Mapping Information Samir Al-Hilank develop group BASYS GmbH

Using Multi Level Modelling Techniques for Managing Mapping Information Samir Al-Hilank develop group BASYS GmbH

DocID: 1qG7j - View Document

CS 261 Scribe Notes Matt Finifter October 2, 2008 Administrative • Homework 2 due Monday 10/6

CS 261 Scribe Notes Matt Finifter October 2, 2008 Administrative • Homework 2 due Monday 10/6

DocID: 1aE8g - View Document

Capabilities for information flow Arnar Birgisson Alejandro Russo  Andrei Sabelfeld

Capabilities for information flow Arnar Birgisson Alejandro Russo Andrei Sabelfeld

DocID: 17Yhg - View Document

Workstation R4i Binder is a powerful productivity tool for organizations that require paper publications. Its flexible drag and drop capability simplifies the creation of manuals, handbooks and large technical books. R4i

Workstation R4i Binder is a powerful productivity tool for organizations that require paper publications. Its flexible drag and drop capability simplifies the creation of manuals, handbooks and large technical books. R4i

DocID: 177fl - View Document