Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics (Q2866804): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GHC
@@ Property / describes a project that uses: GHC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eden
@@ Property / describes a project that uses: Eden / 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/j.entcs.2007.02.051
+Normal rank
@@ Property / OpenAlex ID @@
+W2130086153
@@ Property / OpenAlex ID: W2130086153 / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for parallel lazy evaluation
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Secrets of the Glasgow Haskell Compiler  inliner
@@ Property / cites work: Secrets of the Glasgow Haskell Compiler inliner / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936328
@@ Property / cites work: Q4936328 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel functional programming in Eden
@@ Property / cites work: Parallel functional programming in Eden / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 9
@@ Property / cites work: Handbook of philosophical logic. Vol. 9 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863877
@@ Property / cites work: Q2863877 / rank @@
+Normal rank