共 50 条
- [31] Automatic Translation from Circus to Java']Java [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 115 - 130
- [32] An automatic method for refactoring Java']Java programs [J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2002, 80 : 167 - 172
- [33] Automatic translation from Java']Java to Spark [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2018, 30 (20):
- [34] Automatic verification of Java']Java design patterns [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 324 - 327
- [35] ADiJaC - Automatic Differentiation of Java']Java Classfiles [J]. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2016, 43 (02):
- [36] Towards automatic specialization of Java']Java programs [J]. ECOOP'99 - OBJECT-ORIENTED PROGRAMMING, 1999, 1628 : 367 - 390
- [38] An Analysis of Library Rollbacks: A Case Study of Java']Java Libraries [J]. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE WORKSHOPS (APSECW), 2017, : 63 - 70
- [39] Efficiently refactoring Java']Java applications to use generic libraries [J]. ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 71 - 96
- [40] Making Java']Java(TM) math libraries by translating Fortran [J]. IEEE COMPCON 97, PROCEEDINGS, 1997, : 185 - 190