Back to Results
First PageMeta Content
Cross-platform software / Java / Null / Pointer / Bytecode / C / Parameter / Assertion / Computing / Software engineering / Computer programming


Nullness Analysis of Java Bytecode via Supercompilation over Abstract Values? Ilya G. Klyuchnikov JetBrains; Keldysh Institute of Applied Mathematics of RAS Abstract. Code inspections in the upcoming release of IntelliJ
Add to Reading List

Document Date: 2014-06-15 20:00:00

Open Document

File Size: 296,70 KB

Share Result on Facebook

Company

ASM / /

Currency

USD / /

Facility

With ASM library / ASM library / Also ASM library / Keldysh Institute of Applied Mathematics / /

IndustryTerm

bytecode processing / richer type systems / null analysis tools / /

Organization

Keldysh Institute of Applied Mathematics / Russian Foundation / /

Person

Tony Hoare / Ilya G. Klyuchnikov / /

Position

author / semantic bytecode interpreter / RF President / Semantic interpreter / simple interpreter / Java programmer / programmer / /

ProgrammingLanguage

Java Bytecode / Java / /

Technology

2 Algorithm / virtual machine / 1.5 Algorithm / Java / described algorithm / /

SocialTag