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

@@ Property / author @@
+Luigia Carlucci Aiello
@@ Property / author: Luigia Carlucci Aiello / rank @@
+Normal rank
@@ Property / author @@
+Richard W. Weyhrauch
@@ Property / author: Richard W. Weyhrauch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(77)90004-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2077469145
@@ Property / OpenAlex ID: W2077469145 / rank @@
+Normal rank
@@ 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