Formalization and analysis of class loading in Java
- Akihiko Tozawa
- Masami Hagiya
- 2002
- Higher-Order and Symbolic Computation
Publications
Date
Featured collections
Popular topics
2 results at Higher-Order and Symbolic Computation
Optimal representations of polymorphic types with subtyping
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1999
- Higher-Order and Symbolic Computation