The formal termination problem for programs with finite ALGOL 68-modes (Q1133312): Difference between revisions

@@ Property / author @@
+Wolfram-M. Lippe
@@ Property / author: Wolfram-M. Lippe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 68
@@ Property / describes a project that uses: ALGOL 68 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / 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/0020-0190(79)90058-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1997660692
@@ Property / OpenAlex ID: W1997660692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130952
@@ Property / cites work: Q4130952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4172933
@@ Property / cites work: Q4172933 / rank @@
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / 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 @@
+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 @@
+Q4191572
@@ Property / cites work: Q4191572 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 68
+Normal rank