Skip header Section
Skip Bibliometrics Section
The Java Virtual Machine Specification, Java SE 8 EditionMay 2014
Skip Abstract Section
Abstract
Written by the inventors of the technology, The Java Virtual Machine Specification, Java SE 8 Edition is the definitive technical reference for the Java Virtual Machine. The book provides complete, accurate, and detailed coverage of the Java Virtual Machine. It fully describes the new features added in Java SE 8, including the invocation of default methods and the class file extensions for type annotations and method parameters. The book also clarifies the interpretation of class file attributes and the rules of bytecode verification.
Cited By
Tian Y, Zhang W, Wen M, Cheung S, Sun C, Ma S and Jiang Y (2023). Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications, ACM Transactions on Software Engineering and Methodology, 32:5, (1-32), Online publication date: 30-Sep-2023.- Craun M, Oswald A and Williams D Enabling eBPF on Embedded Systems Through Decoupled Verification Proceedings of the 1st Workshop on eBPF and Kernel Extensions, (63-69)
- Hough K and Bell J (2021). A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships, ACM Transactions on Software Engineering and Methodology, 31:2, (1-43), Online publication date: 30-Apr-2022.
- Ochoa E, Xia C, Ali K, Craik A and Amaral J U can't inline this! Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, (173-182)
- Wood B and Azim A A novel technique for control flow obfuscation in JVM applications using InvokeDynamic with native bootstrapping Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, (232-236)
- D'Souza M and Duboscq G Lightweight on-stack replacement in languages with unstructured loops Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, (4-13)
- Hannousse A (2019). FCM, International Journal of Computer Applications in Technology, 62:1, (71-90), Online publication date: 1-Jan-2020.
- Kloibhofer S, Pointhuber T, Heisinger M, Mössenböck H, Stadler L and Leopoldseder D SymJEx: symbolic execution on the GraalVM Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes, (63-72)
- Ghanbari A Toward practical automatic program repair Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, (1262-1264)
- Krylov G, Dueck G, Kent K, Maier D and D'Souza I Ahead-of-time compilation in OMR Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, (299-304)
- Jangda A, Powers B, Berger E and Guha A Not so fast Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference, (107-120)
- De Coninck Q, Michel F, Piraux M, Rochet F, Given-Wilson T, Legay A, Pereira O and Bonaventure O Pluginizing QUIC Proceedings of the ACM Special Interest Group on Data Communication, (59-74)
- Pontes F, Gheyi R, Souto S, Garcia A and Ribeiro M Java reflection API: revealing the dark side of the mirror Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (636-646)
- Mansky S and Gunter E Dynamic class initialization semantics: a Jinja extension Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, (209-221)
- Grech N, Brent L, Scholz B and Smaragdakis Y Gigahorse Proceedings of the 41st International Conference on Software Engineering, (1176-1186)
- Shull T, Huang J and Torrellas J QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, (137-151)
- Wang K, Ho R and Wu P Replayable Execution Optimized for Page Sharing for a Managed Runtime Environment Proceedings of the Fourteenth EuroSys Conference 2019, (1-16)
- Padhye R, Lemieux C, Sen K, Papadakis M and Le Traon Y Semantic fuzzing with zest Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, (329-340)
- Dageförde J and Kuchen H Retrieval of individual solutions from encapsulated search with a potentially infinite search space Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1552-1561)
- Gawlik R and Holz T SoK Proceedings of the 12th USENIX Conference on Offensive Technologies, (10-10)
- Thom M, Dueck G, Kent K and Maier D A survey of ahead-of-time technologies in dynamic language environments Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, (275-281)
- Wu M, Zhao Z, Li H, Li H, Chen H, Zang B and Guan H (2018). Espresso, ACM SIGPLAN Notices, 53:2, (70-83), Online publication date: 30-Nov-2018.
- Rossberg A, Titzer B, Haas A, Schuff D, Gohman D, Wagner L, Zakai A, Bastien J and Holman M (2018). Bringing the web up to speed with WebAssembly, Communications of the ACM, 61:12, (107-115), Online publication date: 20-Nov-2018.
- Leopoldseder D, Stadler L, Rigger M, Würthinger T and Mössenböck H A cost model for a graph-based intermediate-representation in a dynamic compiler Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, (26-35)
- Leopoldseder D, Schatz R, Stadler L, Rigger M, Würthinger T and Mössenböck H Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations Proceedings of the 15th International Conference on Managed Languages & Runtimes, (1-13)
- Schulz S and Bockisch C A blast from the past Proceedings of the 15th International Conference on Managed Languages & Runtimes, (1-13)
- Fourtounis G, Kastrinis G and Smaragdakis Y Static analysis of Java dynamic proxies Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, (209-220)
- Russo B Profiling call changes via motif mining Proceedings of the 15th International Conference on Mining Software Repositories, (203-214)
- Wu M, Zhao Z, Li H, Li H, Chen H, Zang B and Guan H Espresso Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, (70-83)
- Leopoldseder D, Stadler L, Würthinger T, Eisl J, Simon D and Mössenböck H Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations Proceedings of the 2018 International Symposium on Code Generation and Optimization, (126-137)
- Dageförde J and Kuchen H A constraint-logic object-oriented language Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (1185-1194)
- Tesone P, Polito G, Fabresse L, Bouraqadi N and Ducasse S Implementing modular class-based reuse mechanisms on top of a single inheritance VM Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (1030-1037)
- Koppel J, Premtoon V and Solar-Lezama A (2018). One tool, many languages: language-parametric transformation with incremental parametric syntax, Proceedings of the ACM on Programming Languages, 2:OOPSLA, (1-28), Online publication date: 24-Oct-2018.
- Wong C, Meinicke J, Lazarek L and Kästner C (2018). Faster variational execution with transparent bytecode transformation, Proceedings of the ACM on Programming Languages, 2:OOPSLA, (1-30), Online publication date: 24-Oct-2018.
- Inafune T, Miura S, Taketa T and Hiranaka Y Symbolic backward simulation of Java bytecode program Proceedings of the 10th International Conference on Computer Modeling and Simulation, (140-145)
- Sogaro F, Aubanel E, Kent K, Sundaresan V, Pirvu M and Shipton P MicroJIT Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, (140-150)
- Haas A, Rossberg A, Schuff D, Titzer B, Holman M, Gohman D, Wagner L, Zakai A and Bastien J (2017). Bringing the web up to speed with WebAssembly, ACM SIGPLAN Notices, 52:6, (185-200), Online publication date: 14-Sep-2017.
- Béra C, Miranda E, Felgentreff T, Denker M and Ducasse S Sista Proceedings of the 14th International Conference on Managed Languages and Runtimes, (1-11)
- Havet A, Pires R, Felber P, Pasin M, Rouvoy R and Schiavoni V SecureStreams Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, (124-133)
- Haas A, Rossberg A, Schuff D, Titzer B, Holman M, Gohman D, Wagner L, Zakai A and Bastien J Bringing the web up to speed with WebAssembly Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, (185-200)
- Hiranaka Y, Inafune T, Miura S and Taketa T Backward range simulation of Java bytecodes and reduction of its processing time Proceedings of the 8th International Conference on Computer Modeling and Simulation, (129-133)
- Chen Y, Su T, Sun C, Su Z and Zhao J (2016). Coverage-directed differential testing of JVM implementations, ACM SIGPLAN Notices, 51:6, (85-99), Online publication date: 1-Aug-2016.
- Eizenberg A, Hu S, Pokam G and Devietti J (2016). Remix: online detection and repair of cache contention for the JVM, ACM SIGPLAN Notices, 51:6, (251-265), Online publication date: 1-Aug-2016.
- Chamith B, Svensson B, Dalessandro L and Newton R (2016). Living on the edge: rapid-toggling probes with cross-modification on x86, ACM SIGPLAN Notices, 51:6, (16-26), Online publication date: 1-Aug-2016.
- Chen Y, Su T, Sun C, Su Z and Zhao J Coverage-directed differential testing of JVM implementations Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (85-99)
- Eizenberg A, Hu S, Pokam G and Devietti J Remix: online detection and repair of cache contention for the JVM Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (251-265)
- Chamith B, Svensson B, Dalessandro L and Newton R Living on the edge: rapid-toggling probes with cross-modification on x86 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (16-26)
- Leopoldseder D, Stadler L, Wimmer C and Mössenböck H (2015). Java-to-JavaScript translation via structured control flow reconstruction of compiler IR, ACM SIGPLAN Notices, 51:2, (91-103), Online publication date: 11-May-2016.
- Borenstein D Nanoverse Proceedings of the 2015 Winter Simulation Conference, (206-217)
- Baxter J, Cavalcanti A, Wellings A and Freitas L Safety-Critical Java Virtual Machine Services Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-10)
- Dietrich J, Tandler J, Sui L and Meyer M The PrimeGame Revolutions Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference, (8-12)
- Gyori A, Shi A, Hariri F and Marinov D Reliable testing: detecting state-polluting tests to prevent test dependency Proceedings of the 2015 International Symposium on Software Testing and Analysis, (223-233)
- Leopoldseder D, Stadler L, Wimmer C and Mössenböck H Java-to-JavaScript translation via structured control flow reconstruction of compiler IR Proceedings of the 11th Symposium on Dynamic Languages, (91-103)
- Lancia J and Bouffard G Java Card Virtual Machine Compromising from a Bytecode Verified Applet Revised Selected Papers of the 14th International Conference on Smart Card Research and Advanced Applications - Volume 9514, (75-88)
- Smith E and Coglio A Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover Revised Selected Papers of the 7th International Conference on Verified Software: Theories, Tools, and Experiments - Volume 9593, (183-201)
- Mastrangelo L and Hauswirth M JNIF Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, (194-199)
Index Terms
- The Java Virtual Machine Specification, Java SE 8 Edition