An axiomatic definition of the programming language Pascal (Q2560721): Difference between revisions

@@ Property / author @@
+C. A. R. Hoare
@@ Property / author: C. A. R. Hoare / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The design of a pascal compiler
@@ Property / cites work: The design of a pascal compiler / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the for statement
@@ Property / cites work: A note on the for statement / rank @@
+Normal rank