A Formal Model of Procedure Calling Conventions.

Mark W. Bailey, Jack W. Davidson

Browse the full POPL paper archive.