Type system for Java bytecode subroutines

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1998, Pages 149-160

  Stata, Raymie ^a   Abadi, Martin ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CONSTRAINT THEORY; ERROR ANALYSIS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SUBROUTINES; VIRTUAL REALITY;

BYTECODE VERIFIERS; JAVA PROGRAMMING LANGUAGE; JVML PROGRAMMING LANGUAGE;

HIGH LEVEL LANGUAGES;

EID: 0031679133     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)