IIR: an Identifier-based Intermediate Representation To Support Declarative Compiler Specifications
作者： Eiichiro Chishiro
DOI: 10.11185/IMT.4.282
关键词:
摘要:
sci-hub.st 参考文章(24)
Georges-André Silber, Sebastian Pop, Albert Cohen, Pierre Jouvelot, The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Proc. of the 12th Workshop on Compilers for Parallel Computers (CPC). ,(2006)
Nikolaos S. Papaspyrou, A Formal Semantics for the C Programming Language ,(2000)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction ,(1993)
Egon Börger, Joachim Schmid, Robert F. Stärk, Java and the Java Virtual Machine: Definition, Verification, Validation ,(2001)
PL Wadler, WD Partain, K Hammond, Simon Peyton Jones, SL Peyton Jones, CV Hall, The Glasgow Haskell Compiler: a technical overview DTI/SERC. pp. 249- 257 ,(1993)
Andrew W. Appel, Compiling with continuations ,(1992)
Jifeng He, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers McGraw-Hill, Inc.. ,(1994)
Steve Carr, Ken Kennedy, Scalar replacement in the presence of conditional control flow Software - Practice and Experience. ,vol. 24, pp. 51- 77 ,(1994) , 10.1002/SPE.4380240104
Andrew D. Gordon, Don Syme, Typing a multi-language intermediate code Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01. ,vol. 36, pp. 248- 260 ,(2001) , 10.1145/360204.360228