Type elaboration and subtype completion for Java bytecode

This publication has 16 references indexed in Scilit:

• Representing Java classes in a typed intermediate language
  Published by Association for Computing Machinery (ACM) ,1999
• A simple, comprehensive type system for Java bytecode subroutines
  Published by Association for Computing Machinery (ACM) ,1999
• A compositional account of the Java virtual machine
  Published by Association for Computing Machinery (ACM) ,1999
• Machine-Checking the Java Specification: Proving Type-Safety
  Published by Springer Nature ,1999
• A type system for object initialization in the Java bytecode language
  ACM SIGPLAN Notices, 1998
• A type system equivalent to flow analysis
  ACM Transactions on Programming Languages and Systems, 1995
• Efficient implementation of lattice operations
  ACM Transactions on Programming Languages and Systems, 1989
• An efficient method of computing static single assignment form
  Published by Association for Computing Machinery (ACM) ,1989
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972
• Partially ordered sets
  Transactions of the American Mathematical Society, 1937