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

JSAI: A Static Analysis Platform for JavaScript

Autoři: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner a další

Přispěvatelé: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner a další

Zdroj: http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf.

Témata: F.3.2 [Semantics of Programming Languages, Pro- gram analysis General Terms Languages, Algorithms, Verification Keywords JavaScript Analysis, Abstract Interpretation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239; http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239
http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf