A type system for object initialization in the Java bytecode language (summary)

Electronic Notes in Theoretical Computer Science

Volumn 10, Issue , 1998, Pages 242-245

  Freund, Stephen N ^a   Mitchell, John C ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; FUNCTIONS; INFORMATION ANALYSIS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; STORAGE ALLOCATION (COMPUTER); VECTORS; VIRTUAL REALITY;

BYTECODE VERIFIERS; JAVA BYTECODE LANGUAGE; JAVA VIRTUAL MACHINES; OBJECT INITIALIZATION;

JAVA PROGRAMMING LANGUAGE;

EID: 19144364446     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80703-0     Document Type: Conference Paper

References (2)

1. Lindholm Tim, Yellin Frank. The Java Virtual Machine Specification. 1996;Addison-Wesley
2. Stata Raymie, Abadi Martín. A type system for Java bytecode subroutines. In Proc. 25th ACM Symposium on Principles of Programming Languages. January 1998