A Formal Model and Specification Language for

Procedure Calling Conventions

Mark W. Bailey

Jack W. Davidson

Computer Science Report No. CS-94-39

October 21, 1994