Promising Issues For Formal Study
Wherever innovation has occurred; in particular:
Byte Code Verification
Dynamic Loading and Resolution
Binary Compatibility
Memory Models & Concurrency
Nested Classes
Packages
Exceptions
Prev
Next