共 50 条
- [2] Static deadlock detection for Java']Java libraries [J]. ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 602 - 629
- [3] Toward Automatic Summarization of Arbitrary Java']Java Statements for Novice Programmers [J]. PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2018, : 539 - 543
- [5] Modeling Time in Java']Java Programs for Automatic Error Detection [J]. 2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 50 - 59
- [6] Automatic Detection of Shared Objects in Multithreaded Java']Java Programs [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 522 - 526
- [7] Java']Java access to numerical libraries [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1997, 9 (11): : 1279 - 1291
- [8] Developing numerical libraries in Java']Java [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1998, 10 (11-13): : 1117 - 1129