Robust and compositional verification of object capability patterns

In scenarios such as web programming, where code is linked together from multiple sources, object capability patterns (OCPs) provide an essential safeguard, enabling programmers to protect the private state of their objects from corruption by unknown and untrusted code. However, the benefits of OCPs...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of ACM on programming languages Ročník 1; číslo OOPSLA; s. 1 - 26
Hlavní autori:	Swasey, David, Garg, Deepak, Dreyer, Derek
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	01.10.2017
ISSN:	2475-1421, 2475-1421
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!