A Program Notation
In this chapter, we introduce a notation for writing programs. It is sufficiently similar to Pascal and C to warrant only a short introduction, so we concentrate on describing the effects brought about by a program written in such a language. Let us start with an example of a Pascal program.
KeywordsGlobal Variable Procedure Call Boolean Expression Proof Obligation Reference Parameter
Unable to display preview. Download preview PDF.