Correctness of programs with Pascal-like procedures without global variables (Q790607): Difference between revisions

@@ Property / author @@
+Ernst-Ruediger Olderog
@@ Property / author: Ernst-Ruediger Olderog / 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(84)90066-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2026086747
@@ Property / OpenAlex ID: W2026086747 / 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 @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939205
@@ Property / cites work: Q3939205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919062
@@ Property / cites work: Q3919062 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+Effective Axiomatizations of Hoare Logics
@@ Property / cites work: Effective Axiomatizations of Hoare Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q3854596
@@ Property / cites work: Q3854596 / rank @@
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and relatively* complete Hoare-logic for a language with higher type procedures
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / 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 @@
+Pascal. User manual and report. 2nd ed
@@ Property / cites work: Pascal. User manual and report. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+On correct procedure parameter transmission in higher programming languages
+Normal rank
@@ Property / cites work @@
+On termination problems for finitely interpreted ALGOL-like programs
+Normal rank
@@ Property / cites work @@
+The formal termination problem for programs with finite ALGOL 68-modes
+Normal rank
@@ Property / cites work @@
+Q3883459
@@ Property / cites work: Q3883459 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete Hoare-like calculi based on copy rules
+Normal rank
@@ Property / cites work @@
+Q3040481
@@ Property / cites work: Q3040481 / rank @@
+Normal rank
@@ Property / cites work @@
+On the notion of expressiveness and the rule of adaptation
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic commands--a tool for partial correctness formalisms
+Normal rank