Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369): Difference between revisions

@@ Property / OpenAlex ID @@
+W2164256202
@@ Property / OpenAlex ID: W2164256202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862382
@@ Property / cites work: Q3862382 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive assertions are not enough - or are they?
+Normal rank
@@ Property / cites work @@
+Q3878739
@@ Property / cites work: Q3878739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Floyd's principle, correctness theories and program equivalence
+Normal rank
@@ Property / cites work @@
+Q3883473
@@ Property / cites work: Q3883473 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and the completeness of Hoare's logic
+Normal rank
@@ Property / cites work @@
+A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
+Normal rank
@@ Property / cites work @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+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 @@
+On procedures as open subroutines. II
@@ Property / cites work: On procedures as open subroutines. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883459
@@ Property / cites work: Q3883459 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on computable real fields
@@ Property / cites work: A note on computable real fields / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596230
@@ Property / cites work: Q5596230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164784
@@ Property / cites work: Q4164784 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050415
@@ Property / cites work: Q3050415 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Incompleteness Result for Hoare's System
@@ Property / cites work: A New Incompleteness Result for Hoare's System / rank @@
+Normal rank