We present staged allocation, a technique for specifying … precise, formal semantics, and it can be executed … to 30 lines each. An implementation of staged … used not only to help a compiler implement … [p. 417] [Staged allocation] is a framework for organizing the … expanded at need.
Google-1
Google-2
Copyright clearance needed for quotation.