Reasoning about procedures as parameters in the language L4 (Q583874): Difference between revisions

@@ 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/0890-5401(89)90040-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1990487099
@@ Property / OpenAlex ID: W1990487099 / 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 @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+The characterization problem for Hoare logics
@@ Property / cites work: The characterization problem for Hoare logics / rank @@
+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 @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326819
@@ Property / cites work: Q3326819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745258
@@ Property / cites work: Q3745258 / rank @@
+Normal rank
@@ Property / cites work @@
+On relative completeness of Hoare logics
@@ Property / cites work: On relative completeness of Hoare logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3765226
@@ Property / cites work: Q3765226 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination problems for finitely interpreted ALGOL-like programs
+Normal rank
@@ Property / cites work @@
+Correctness of programs with Pascal-like procedures without global variables
+Normal rank
@@ Property / cites work @@
+Q3678649
@@ Property / cites work: Q3678649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347263
@@ Property / cites work: Q3347263 / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs
+Normal rank