On termination problems for finitely interpreted ALGOL-like programs (Q1161274): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Regular canonical systems
@@ Property / cites work: Regular canonical systems / 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 @@
+Q4172933
@@ Property / cites work: Q4172933 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive programming
@@ Property / cites work: Recursive programming / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4776826
@@ Property / cites work: Q4776826 / rank @@
+Normal rank
@@ Property / cites work @@
+On correct procedure parameter transmission in higher programming languages
+Normal rank
@@ Property / cites work @@
+On procedures as open subroutines. II
@@ Property / cites work: On procedures as open subroutines. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079022
@@ Property / cites work: Q4079022 / rank @@
+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 @@
+Q4191572
@@ Property / cites work: Q4191572 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 60
+Normal rank
@@ Property / cites work @@
+Sound and complete Hoare-like calculi based on copy rules
+Normal rank
@@ Property / cites work @@
+Q5723489
@@ Property / cites work: Q5723489 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 68
+Normal rank