Proof obligations for blocks and procedures (Q919838): Difference between revisions

@@ 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 @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Proof obligations for blocks and procedures
@@ Property / cites work: Proof obligations for blocks and procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3660892
@@ Property / cites work: Q3660892 / rank @@
+Normal rank
@@ Property / cites work @@
+Side effects and aliasing can have simple axiomatic descriptions
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Assignment and Procedure Call Proof Rules
@@ Property / cites work: Assignment and Procedure Call Proof Rules / 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 @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4743711
@@ Property / cites work: Q4743711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedures, parameters, and abstraction: Separate concerns
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 60
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+A language of specified programs
@@ Property / cites work: A language of specified programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347263
@@ Property / cites work: Q3347263 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:919838