Staged Allocation: A Compositional Technique for Specifying and Implementing Procedure Calling Conventions (2006)

by Reuben Olinsky , Christian Lindig , Norman Ramsey
Citations:5 - 4 self