Publications

Formalization and analysis of class loading in Java

• • Akihiko Tozawa
  • Masami Hagiya
• 2002
• Higher-Order and Symbolic Computation