共 50 条
- [24] Java']Java Pathfinder a translator from Java']Java to Promela [J]. THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 152 - 152
- [25] Jivin' with (Java']Java and) Java']JavaScript [J]. 45TH ANNUAL CONFERENCE ON IMAGINATION, INNOVATION AND COMMUNICATION, 1998, : 331 - 333
- [27] K-Java']Java: A Complete Semantics of Java']Java [J]. ACM SIGPLAN NOTICES, 2015, 50 (01) : 445 - 456
- [30] Safety-Critical Java']Java on a Java']Java Processor [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 54 - 61