A Formal Model and Specification Language for Procedure Calling Conventions (1995)

by Mark W Bailey, Jack W Davidson
Venue:In Conference Record of POPL ’95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages