PASCAL in LCF: Semantics and examples of proof (Q1242670): Difference between revisions

@@ Property / cites work @@
+Q4050095
@@ Property / cites work: Q4050095 / rank @@
+Normal rank
@@ Property / cites work @@
+PASCAL in LCF: Semantics and examples of proof
@@ Property / cites work: PASCAL in LCF: Semantics and examples of proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q4107890
@@ Property / cites work: Q4107890 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing structural induction. II: Strategies
@@ Property / cites work: Mechanizing structural induction. II: Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Requirements for advanced programming systems for list processing
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical comments on the programming language Pascal
+Normal rank
@@ Property / cites work @@
+Q4114748
@@ Property / cites work: Q4114748 / 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 @@
+An axiomatic definition of the programming language Pascal
+Normal rank
@@ Property / cites work @@
+Automatic program verification. I: A logical basis and its implementation
+Normal rank
@@ Property / cites work @@
+Pascal. User manual and report. 2nd ed
@@ Property / cites work: Pascal. User manual and report. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+More comments on the programming language Pascal
@@ Property / cites work: More comments on the programming language Pascal / rank @@
+Normal rank
@@ Property / cites work @@
+Q5621937
@@ Property / cites work: Q5621937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138713
@@ Property / cites work: Q4138713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674962
@@ Property / cites work: Q5674962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723489
@@ Property / cites work: Q5723489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+The denotational semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Reasoning about programs
@@ Property / cites work: Reasoning about programs / rank @@
+Normal rank
@@ Property / cites work @@
+The programming language Pascal
@@ Property / cites work: The programming language Pascal / rank @@
+Normal rank