Procedure is an important and frequently used programming construct for a compiler. It is used to generate good code for procedure calls and returns.
The translation for a call includes a sequence of actions taken on entry and exit from each procedure. Following actions take place in a calling sequence:
Let us consider a grammar for a simple procedure call statement
A suitable transition scheme for procedure call would be:
Queue is used to store the list of parameters in the procedure call.