A Formal Specification for Procedure Calling Conventions

摘要: Procedure calling conventions are used to provide uniform procedure-call interfaces. Applications, such as compilers and debuggers, which generate, or process procedures at the machine-language level require an accurate description of convention in use. Until now, portion application that concerns itself with procedure call interface was implemented ad-hoc manner. The resulting code is complicated details, difficult maintain, often incorrect. In this paper, we present a model language, called CCL, for specifying conventions. language can be automatically generate calling-convention specific portions applications. It also serves documentation given convention. CCL provides concise natural method easy read modify. By using specification code, one enhance retargetablility applications make use Additionally, different easily implemented, thereby simplifying experimentation increase efficiency call.