共 50 条
- [33] Towards the Generation of Correct Java']Java Programs PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2018, : 1055 - 1056
- [35] On The Shape of Circular Dependencies in Java']Java Programs 2014 23RD AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2013, : 48 - 57
- [37] Ensuring the Integrity of Running Java']Java Programs JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 517 - 527
- [39] Dynamic Purity Analysis for Java']Java Programs PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 75 - 82
- [40] System for Executing Encrypted Java']Java Programs ICISSP: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY, 2017, : 245 - 252