Academic Journal
Type elaboration and subtype completion for Java bytecode
| Title: | Type elaboration and subtype completion for Java bytecode |
|---|---|
| Authors: | Knoblock, Todd B., Rehof, Jakob |
| Source: | ACM Transactions on Programming Languages and Systems (TOPLAS). 23(2):243-272 |
| Availability: | http://dl.acm.org/doi/10.1145/383043.383045 |
| Database: | ACM Full-Text Collection |
| ISSN: | 01640925 15584593 |
|---|---|
| DOI: | 10.1145/383043.383045 |