共 50 条
- [32] Formal Techniques for Java']Java Programs [J]. OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2002, 2323 : 30 - 40
- [33] Understanding the behavior of Java']Java programs [J]. SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 214 - 223
- [34] No Java']Java without caffeine -: A tool for dynamic analysis of Java']Java programs [J]. ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 117 - 126
- [35] Analysis of Java']Java Programs using Joana and Java']Java SDG API [J]. 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 2402 - 2408
- [36] Converting Physlets and Other Java']Java Programs to Java']JavaScript [J]. PHYSICS TEACHER, 2021, 59 (04): : 278 - 281
- [37] From Safety Critical Java']Java Programs to Timed Process Models [J]. PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY, 2015, 9465 : 319 - 338
- [38] Safety-critical Java']Java programs from Circus models [J]. REAL-TIME SYSTEMS, 2013, 49 (05) : 614 - 667
- [40] Static analyses for eliminating unnecessary synchronization from Java']Java programs [J]. STATIC ANALYSIS, 1999, 1694 : 19 - 38