共 50 条
- [46] Java']Java Pathfinder a translator from Java']Java to Promela [J]. THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 152 - 152
- [47] Jivin' with (Java']Java and) Java']JavaScript [J]. 45TH ANNUAL CONFERENCE ON IMAGINATION, INNOVATION AND COMMUNICATION, 1998, : 331 - 333
- [49] K-Java']Java: A Complete Semantics of Java']Java [J]. ACM SIGPLAN NOTICES, 2015, 50 (01) : 445 - 456
- [50] REXSTEPPER: a Reference Debugger for Java']JavaScript Regular Expressions [J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 41 - 45