Výsledky vyhledávání - "Theory Keywords JavaScript"

A Trusted Mechanised JavaScript Specification

Autoři: Martin Bodin Arthur Charguéraud Daniele Filaretti a další

Přispěvatelé: Martin Bodin Arthur Charguéraud Daniele Filaretti a další

Zdroj: http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400; http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400
http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

A trusted mechanised JavaScript specification

Autoři: Martin Bodin Arthur Charguéraud Daniele Filaretti a další

Přispěvatelé: Martin Bodin Arthur Charguéraud Daniele Filaretti a další

Zdroj: http://www.irisa.fr/celtique/aschmitt/papers/JSCert-POPL14.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.9403

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.9403
http://www.irisa.fr/celtique/aschmitt/papers/JSCert-POPL14.pdf

Abstract JavaScript Instrumentation for Browser Security

Autoři: Dachuan Yu Ajay Chander Nayeem Islam a další

Přispěvatelé: Dachuan Yu Ajay Chander Nayeem Islam a další

Zdroj: http://www.docomolabsresearchers-usa.com/~dyu/js-tr.pdf.

Témata: General Terms Languages, Security, Theory Keywords JavaScript, program instrumentation, edit automata, web

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.183

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.183
http://www.docomolabsresearchers-usa.com/~dyu/js-tr.pdf