Výsledky vyhledávání

Type-preserving compilation of end-to-end verification of security enforcement

Publikováno v: ACM SIGPLAN Notices. 45:412-423

A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in these languages are compiled without explicit security proofs, limiting t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::99cf88f470ede89b465b7d196db8a33a
https://doi.org/10.1145/1809028.1806643

Zobrazit plný text záznamu

Dependent types for JavaScript

Autor: ChughRavi, HermanDavid, JhalaRanjit

Publikováno v: OOPSLA

We present Dependent JavaScript (DJS), a statically typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, protot

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12612c4243fcbacada0d6d4e14cd6337
https://doi.org/10.1145/2384616.2384659

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání