Abstract
Many modern programming languages offer a facility for "inlining" designated procedure and function calls, but this process is not well defined in most language standards documents. We offer a model for inlining which has the property that the resulting code does not depend upon the presentation of the order of function definitions, and which also provides a finite and consistent interpretation for the inlining of mutually recursive functions. Finally, when used on "tail-recursive" functions, our model of inlining provides for the equivalent of "loop unrolling".
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference20 articles.
1. Ada83. Reference Manual for the Ada® Programming Language. ANSI/MIL-STD-1815A-1983. U.S. Gov't Printing Office 1983. Ada83. Reference Manual for the Ada® Programming Language . ANSI/MIL-STD-1815A-1983. U.S. Gov't Printing Office 1983.
2. The Experimental Compiling System
3. Compiling C for vectorization, parallelization, and inline expansion
4. Equal rights for functional objects or, the more things change, the more they are the same
5. Metacircular semantics for common Lisp special forms
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Function inlining in XQuery 3.0 optimization;Proceedings of the 15th Symposium on Database Programming Languages;2015-10-27
2. Secrets of the Glasgow Haskell Compiler
inliner;Journal of Functional Programming;2002-07
3. Inline expansion: When and how?;Lecture Notes in Computer Science;1997