Suchergebnisse - "Java Container Class Methods"

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

Autoren: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

Schlagwörter: 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

Verfügbarkeit: 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

Autoren: Margoor, Amogh Rasghavan, K V

Weitere Verfasser: Margoor, Amogh Rasghavan, K V

Schlagwörter: Java (Computer Programme Language), Java Programs - Verification, Java Collections, Java Maps, Java Programs - Base Analysis, Computer Programs - Verification, Java Container Class Methods, Computer Science

Dateibeschreibung: application/pdf

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

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