First Page | Document Content | |
---|---|---|
Date: 2012-08-08 19:03:00Computing Software engineering Computer programming Concurrent programming languages High-level programming languages Type theory Programming languages Program analysis Java virtual machine Type system Go Java | A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304Add to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 153,75 KBShare Document on Facebook |