Simple, comprehensive type system for Java bytecode subroutines

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

Volumn , Issue , 1999, Pages 70-78

  O'Callahan, Robert ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; PROGRAM COMPILERS; SUBROUTINES;

JAVA BYTECODE PROGRAMMING LANGUAGE; JAVA VIRTUAL MACHINE PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032691230     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (8)