共 50 条
- [41] Automatically generating C++ programs from LOTOS behavior specifications 1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 54 - 60
- [42] Orion: High-precision methods for static error analysis of C and C++ programs FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 138 - 160
- [44] C++ programs static analyzer based on object relation diagram model Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 1997, 23 (01): : 105 - 110
- [46] Experimental version of parallel programs translator from Petri Nets to C++ PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 226 - 231
- [48] TFProf: Profiling Large Taskflow Programs with Modern D3 and C++ PROCEEDINGS OF WORKSHOP ON PROGRAMMING AND PERFORMANCE VISUALIZATION TOOLS (PROTOOLS 2021), 2021, : 1 - 6
- [50] Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 65 - 74