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

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N01
@@ Property / Mathematics Subject Classification ID: 68N01 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+4133472
@@ Property / zbMATH DE Number: 4133472 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+completeness
@@ Property / zbMATH Keywords: completeness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reasoning about programs
@@ Property / zbMATH Keywords: reasoning about programs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+language L4
@@ Property / zbMATH Keywords: language L4 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+axiom system
@@ Property / zbMATH Keywords: axiom system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial correctness assertions
@@ Property / zbMATH Keywords: partial correctness assertions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Algol-like language
@@ Property / zbMATH Keywords: Algol-like language / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+procedures passed as parameters
@@ Property / zbMATH Keywords: procedures passed as parameters / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+expressiveness
@@ Property / zbMATH Keywords: expressiveness / 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/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
@@ links / mardi / name / links / mardi / name @@
+Publication:583874