An algebraic definition for control structures (Q1151016): 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/0304-3975(80)90028-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1994285316
@@ Property / OpenAlex ID: W1994285316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4042671
@@ Property / cites work: Q4042671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898006
@@ Property / cites work: Q3898006 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181349
@@ Property / cites work: Q5181349 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Translatability of flowcharts into while programs
@@ Property / cites work: Translatability of flowcharts into while programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the capabilities of while, repeat, and exit statements
+Normal rank
@@ Property / cites work @@
+Notes on avoiding ``go to'' statements
@@ Property / cites work: Notes on avoiding ``go to'' statements / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of structured programs
@@ Property / cites work: Analysis of structured programs / rank @@
+Normal rank
@@ Property / cites work @@
+Program Improvement by Source-to-Source Transformation
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank