An axiomatic definition of the programming language PASCAL
CAR Hoare, N Wirth - Acta Informatica, 1973 - Springer
CAR Hoare, N Wirth
Acta Informatica, 1973•SpringerAn axiomatic definition of the programming language PASCAL Page 1 Acta Informatica 2,
335--355 (t973) 9 by Springer-Verlag t973 An Axiomatic Definition of the Programming Language
PASCAL CAR Hoare and N. Wirth Received December t I, t972 Summa~'y. The axiomatic
definition method proposed in reference [5] is extended and applied to define the meaning of
the programming language PASCAL [1]. The whole language is covered with the exception of
read arithmetic and go to statements. Introduction The programming language PASCAL was …
335--355 (t973) 9 by Springer-Verlag t973 An Axiomatic Definition of the Programming Language
PASCAL CAR Hoare and N. Wirth Received December t I, t972 Summa~'y. The axiomatic
definition method proposed in reference [5] is extended and applied to define the meaning of
the programming language PASCAL [1]. The whole language is covered with the exception of
read arithmetic and go to statements. Introduction The programming language PASCAL was …
Summary
The axiomatic definition method proposed in reference [5] is extended and applied to define the meaning of the programming language PASCAL [1]. The whole language is covered with the exception of real arithmetic and go to statements.
Springer