Back to Results
First PageMeta Content
Computing / Primitive types / Programming language theory / Compiler construction / Static single assignment form / Type system / String / Byte / Type safety / Data types / Software engineering / Type theory


EÆ ient Inferen e of Stati ? Types for Java Byte ode Etienne M. Gagnon, Laurie J. Hendren and Guillaume Mar eau Sable Resear h Group, S hool of Computer S ien e M Gill University, Montreal, Canada [gagnon,hendren,gmar e
Add to Reading List

Document Date: 2008-03-12 13:57:33

Open Document

File Size: 281,59 KB

Share Result on Facebook

Country

Canada / /

Facility

M Gill University / /

IndustryTerm

type solution / multi-stage algorithm / implementation using eÆ ient algorithms / eÆ ient algorithm / pra ti al algorithm / web browsers / /

Organization

Gill University / Montreal / /

Person

Laurie J. Hendren / Jimple / Etienne M. Gagnon / Guillaume Mar / /

Position

straight-forward / representative / interpreter / programmer / /

ProgrammingLanguage

Java / /

ProvinceOrState

California / Iowa / /

Technology

pra ti al algorithm / eÆ ient algorithm / typing algorithm / main algorithm / implementation using eÆ ient algorithms / eÆ ient 3-stage algorithm / multi-stage algorithm / Java / typing algorithms / 4 Three-Stage Algorithm / 4.1 Algorithm / /

SocialTag