Výsledky vyhľadávania - "Java (Computer Programme Language)"

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

Autori: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

Predmety: 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

Dostupnosť: 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

Autori: Margoor, Amogh Rasghavan, K V

Prispievatelia: Margoor, Amogh Rasghavan, K V

Predmety: 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 súboru: application/pdf

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

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