Item Details

A Formal Specification for Procedure Calling Conventions

Bailey, Mark; Davidson, Jack
Format
Report
Author
Bailey, Mark
Davidson, Jack
Abstract
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 the calling convention in use. Until now, the portion of such an application that concerns itself with the procedure call interface was implemented in an ad-hoc manner. The resulting code is complicated with details, difficult to maintain, and often incorrect. In this paper, we present a model and language, called CCL, for specifying procedure calling conventions. The language can be used to automatically generate the calling-convention specific portions of applications. It also serves as accurate documentation for a given calling convention. CCL provides a concise and natural method of specifying calling conventions that are easy to read and modify. By using a convention specification to automatically generate code, one can enhance the retargetablility of applications that make use of procedure calling conventions. Additionally, different calling conventions can easily be implemented, thereby simplifying experimentation with different call conventions to increase the efficiency of the procedure call.
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1993
Published Date
1993
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online