Go backward to Expression Abstracts Go up to Top Go forward to Function Procedures

Function Procedures

Hybrid of procedure and function.

D ::= ...| fcnproc I=C resultis E

• Command abstract.
• Invoked by an Expression-identifier.
• Returns an expressible value.
• Expression can alter the value of the store!
• Function procedure may not terminate!