Obálka

Hybrid Information Flow Analysis for Programs with Arrays

Uloženo v:
Vydáno v:arXiv.org (Jul 8, 2016), p. n/a
Hlavní autor: Barany, Gergö
Vydáno:
Cornell University Library, arXiv.org
Témata:
Java
Scalars
Arrays
Program verification (computers)
C (programming language)
Information flow
Run time (computers)
Tracking
On-line přístup:Citation/Abstract
Full text outside of ProQuest
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!