An axiomatic definition of the programming language PASCAL

Publisher Website

1 January 1974

book chapter
Published by Springer Nature

p. 1-16
https://doi.org/10.1007/3-540-06720-5_1

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

The programming language pascal
Acta Informatica, 1971
Procedures and parameters: An axiomatic approach
Lecture Notes in Mathematics, 1971
An axiomatic basis for computer programming
Communications of the ACM, 1969
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967