Floyd's principle, correctness theories and program equivalence (Q1158948): Difference between revisions

@@ Property / author @@
-Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
-Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 68
@@ Property / describes a project that uses: ALGOL 68 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2140892158
@@ Property / OpenAlex ID: W2140892158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862382
@@ Property / cites work: Q3862382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181349
@@ Property / cites work: Q5181349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130976
@@ Property / cites work: Q4130976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3860822
@@ Property / cites work: Q3860822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4074367
@@ Property / cites work: Q4074367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880831
@@ Property / cites work: Q3880831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625129
@@ Property / cites work: Q5625129 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for the first-order relational calculus
+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 @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of the programming language Pascal
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939209
@@ Property / cites work: Q3939209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4745815
@@ Property / cites work: Q4745815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050415
@@ Property / cites work: Q3050415 / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1158948