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

by Mark W. Bailey , Jack W. Davidson
Venue:In Conference Record of the 22nd Annual ACM Symposium on Principles of Programming Languages
Citations:30 - 9 self