共 50 条
- [4] The distributed Java']Java platform [J]. INFORMATION SYSTEMS MANAGEMENT, 1998, 15 (01) : 16 - 20
- [5] Extending operational semantics of the Java']Java bytecode [J]. TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
- [6] Expanding and extending the security features of Java']Java [J]. PROCEEDINGS OF THE SEVENTH USENIX SECURITY SYMPOSIUM, 1998, : 159 - 172
- [7] XTRAITJ: Traits for the Java']Java platform [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 131 : 419 - 441
- [9] Java']Java class deployment using class collections [J]. OBJECTS, COMPONENTS, ARCHITECTURES, SERVICES, AND APPLICATIONS FOR A NETWORKED WORLD, 2003, 2591 : 135 - 151
- [10] OpenJML: JML for Java']Java 7 by Extending OpenJDK [J]. NASA FORMAL METHODS, 2011, 6617 : 472 - 479