共 50 条
- [1] Java']Java Memory Model-Aware Model Checking [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 220 - 236
- [2] A Domain-Oriented, Java']Java Specification Language [J]. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE), 2015, : 25 - 30
- [4] Recovering Grammar Relationships for the Java']Java Language Specification [J]. 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2009, : 178 - 186
- [5] Java']Java as a specification language for hardware-software systems [J]. 1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 690 - 697
- [7] Preliminary design of BML: A behavioral interface specification language for Java']Java bytecode [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4422 : 215 - +
- [8] Recovering grammar relationships for the Java Language Specification [J]. Software Quality Journal, 2011, 19 : 333 - 378
- [9] Recovering grammar relationships for the Java Language Specification [J]. IEEE Int. Work. Conf. Source Code Anal. Manip., SCAM, 1600, (178-186):
- [10] Extending the concurrency model of the real-time specification for Java']Java [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (14): : 1623 - 1645