Protzenko, Jonathan, 1988-....
Protzenko, Jonathan
VIAF ID: 173804640 ( Personal )
Permalink: http://viaf.org/viaf/173804640
Preferred Forms
5xx's: Related Names (1)
- 511 2 _ ‡a Microsoft research
Works
Title | Sources |
---|---|
Building a formally verified high-performance multi-platform cryptographic library in F*. | |
Construction d'une bibliothèque cryptographique multi-plateformes formellement vérifiée à haute performance en F* | |
Design de langage dédié orienté vers la preuve pour le logiciel critique. | |
Mezzo : a typed language for safe effectful concurrent programs | |
Mezzo, un langage typé pour des programmes impératifs, concurrents et sûrs, français | |
Proof-oriented domain-specific language design for high-assurance software | |
XUL | |
XUL Mozilla XPFE, XPCOM, XBL, XPI, CSS, JavaScript, XML, RDF, DOM, PHP 5 |