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

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

Revision as of 18:26, 1 July 2023

Statements

Identifiers

Sitelinks

Mathematics(0 entries)