共 50 条
- [2] Asynchronous Java']Java accelerator for embedded Java']Java virtual machine PROCEEDINGS OF THE IEEE 6TH CIRCUITS AND SYSTEMS SYMPOSIUM ON EMERGING TECHNOLOGIES: FRONTIERS OF MOBILE AND WIRELESS COMMUNICATION, VOLS 1 AND 2, 2004, : 253 - 256
- [3] Lightweight Modeling of Java']Java Virtual Machine Security Constraints ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, 2010, 5977 : 146 - 159
- [4] Checking Access to Protected Members in the Java']Java Virtual Machine JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (08): : 55 - 76
- [5] A secure Java']Java™ Virtual Machine USENIX ASSOCIATION PROCEEDINGS OF THE NINTH USENIX SECURITY SYMPOSIUM, 2000, : 19 - 34
- [6] Preservation of proof obligations from Java']Java to the Java']Java virtual machine AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 83 - +
- [7] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
- [9] Evaluating the Java']Java virtual machine as a target for languages other than Java']Java MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2001, 1897 : 278 - 290