Translation of algebraic programs into executable codes (Q2508826): Difference between revisions

@@ Property / describes a project that uses @@
+Stratego
@@ Property / describes a project that uses: Stratego / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ATERM
@@ Property / describes a project that uses: ATERM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APS-1
@@ Property / describes a project that uses: APS-1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APS
@@ Property / describes a project that uses: APS / 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.1007/s10559-006-0014-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1986611584
@@ Property / OpenAlex ID: W1986611584 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic paradigms of programming
@@ Property / cites work: Basic paradigms of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computations in APS
@@ Property / cites work: Computations in APS / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of strategies in rule-based program transformation systems
+Normal rank