Program transformations and algebraic semantics (Q1254849): Difference between revisions

@@ Property / author @@
-Irène Guessarian
@@ Property / author: Irène Guessarian / rank @@
-Normal rank
@@ Property / author @@
+Irène Guessarian
@@ Property / author: Irène Guessarian / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / 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/0304-3975(79)90005-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1981599076
@@ Property / OpenAlex ID: W1981599076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068115
@@ Property / cites work: Q4068115 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898006
@@ Property / cites work: Q3898006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+On some classes of interpretations
@@ Property / cites work: On some classes of interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Computation Rules for Recursive Languages
@@ Property / cites work: Correct Computation Rules for Recursive Languages / rank @@
+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 @@
+Q4139645
@@ Property / cites work: Q4139645 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190098
@@ Property / cites work: Q4190098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139646
@@ Property / cites work: Q4139646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517672
@@ Property / cites work: Q5517672 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138713
@@ Property / cites work: Q4138713 / rank @@
+Normal rank
@@ Property / cites work @@
+Another recursion induction principle
@@ Property / cites work: Another recursion induction principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating recursion equations into flow charts
@@ Property / cites work: Translating recursion equations into flow charts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092932
@@ Property / cites work: Q4092932 / rank @@
+Normal rank