共 50 条
- [21] IMPLEMENTATION OF AN OPTIMIZING COMPILER FOR VHDL [J]. SIGPLAN NOTICES, 1988, 23 (01): : 92 - 108
- [22] Marmot: an optimizing compiler for Java [J]. Software - Practice and Experience, 2000, 30 (03) : 199 - 232
- [23] Formal verification of an optimizing compiler [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 1 - 1
- [26] CODE GENERATION IN A PASCAL COMPILER [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1977, 7 (03): : 391 - 423
- [28] Compiler techniques for code compaction [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (02): : 378 - 415
- [29] The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 461 - 462
- [30] Marmot: an optimizing compiler for Java']Java [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2000, 30 (03): : 199 - 232