共 50 条
- [41] Cinderella SLIPPER: An SDL to C-code generator [J]. SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 210 - 223
- [43] C-CORE: Clustering by Code Representation to Prioritize Test Cases in Compiler Testing [J]. CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, 2024, 139 (02): : 2069 - 2093
- [44] Towards the formal verification of a C0 compiler: Code generation and implementation correctness [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 2 - 11
- [45] Teaching Strategies for the Development of Adaptable (Compiler, Vendor/Processor Independent) Embedded C code [J]. 2016 15TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY BASED HIGHER EDUCATION AND TRAINING (ITHET), 2016,
- [46] An efficient RTL-based code generation for specified DSP C-compiler [J]. MEDIA PROCESSORS 2002, 2002, 4674 : 141 - 149
- [47] Performance portable Vlasov code with C plus plus parallel algorithm [J]. 2022 IEEE/ACM INTERNATIONAL WORKSHOP ON PERFORMANCE, PORTABILITY AND PRODUCTIVITY IN HPC (P3HPC), 2022, : 68 - 80
- [48] Design and implementation of the decompiler for virtual machine code of the C++ compiler in the ubiquitous game platform [J]. ADVANCES IN HYBRID INFORMATION TECHNOLOGY, 2007, 4413 : 511 - 521
- [49] From IOPT Petri nets to C: an Automatic Code Generator Tool [J]. 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
- [50] UCaG: An Automatic C Code Generator for AADL Based upon DeltaOS [J]. 2008 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING, 2008, : 346 - +