Procedure semantics and language definition

Authors:
Franklyn T. Bradshaw;George W. Ernst;Raymond J. Hookway;William F. Ogden
Affiliations:
Case Western Reserve University, Cleveland, OH;Case Western Reserve University, Cleveland, OH;Case Western Reserve University, Cleveland, OH;University of Michigan, Ann Arbor, MI
Venue:
ACM SIGPLAN Notices
Year:
1980

Citing 3
Cited 0

Communicating sequential processes

Communications of the ACM
Distributed processes: a concurrent programming concept

Communications of the ACM
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual

Quantified Score

Hi-index	0.00

Visualization

Abstract

Semantics for procedures and their calls is proposed which describes two cases often considered to be outside contemporary programming languages: distributed computing and procedure calls that contain aliases. It is argued that this semantics should be used as the basis of programming language definition because it is simple, intuitive and unifies these seemingly different cases. To support this argument, a verification rule for procedure calls with aliases is given which is no more complicated than those found in the literature. This verification rule is possible only because it is based on the proposed semantics.