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

@@ 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