共 50 条
- [42] CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
- [43] LINBOX Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation [J]. MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 77 - +
- [46] The potential for mechanical design compilation [J]. RESEARCH IN ENGINEERING DESIGN-THEORY APPLICATIONS AND CONCURRENT ENGINEERING, 1997, 9 (04): : 191 - 194
- [47] The potential for mechanical design compilation [J]. Research in Engineering Design, 1997, 9 : 191 - 194
- [49] DESIGN SYNTHESIS AND SILICON COMPILATION [J]. IEEE DESIGN & TEST OF COMPUTERS, 1990, 7 (06): : 8 - 23
- [50] Archive Digitization Application (ADA) [J]. ARCHIVING 2014, FINAL PROGRAM AND PROCEEDINGS, 2014, : 115 - 117