共 50 条
- [42] A classification of unanticipated runtime software changes in Java']Java INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2003, : 4 - 12
- [43] Runtime locality optimizations of distributed Java']Java applications PROCEEDINGS OF THE 16TH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, 2008, : 149 - 156
- [44] Coordinating Exceptions of Java']Java Systems: Implementation and Formal Verification 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 108 - 113
- [45] Data flow analysis of Java']Java programs in the presence of exceptions PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 389 - 395
- [49] Adaptable Runtime Monitoring for the Java']Java Virtual Machine LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 531 - 546
- [50] Safe locking for multi-threaded Java']Java with exceptions JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283