Výsledky vyhledávání - "Java Programs - Verification"

Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java

Autoři: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

Témata: Java (Computer Programme Language), Java Programs - Verification, Java Collections, Java Maps, Java Programs - Base Analysis, Computer Programs - Verification, Java Container Class Methods, Computer Science

Relation: G25614

Dostupnost: http://hdl.handle.net/2005/3284
http://etd.ncsi.iisc.ernet.in/abstracts/4146/G25614-Abs.pdf

Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java

Autoři: Margoor, Amogh Rasghavan, K V

Přispěvatelé: Margoor, Amogh Rasghavan, K V

Témata: Java (Computer Programme Language), Java Programs - Verification, Java Collections, Java Maps, Java Programs - Base Analysis, Computer Programs - Verification, Java Container Class Methods, Computer Science

Popis souboru: application/pdf

Relation: G25614; http://etd.iisc.ac.in/handle/2005/3284

Dostupnost: http://etd.iisc.ac.in/handle/2005/3284
http://etd.iisc.ac.in/static/etd/abstracts/4146/G25614-Abs.pdf