Searching for "A Sequential Reduction Strategy." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Sequential Reduction Strategy
- …Theoretical Computer Science 165:75-95, 1996. A Sequential Reduction Strategy Sergio Antoy…
- Cited by 21 (2 self) – Add To MetaCart
-
A fully abstract semantics for concurrent graph reduction (Extended Abstract)
- … has the same convergence properties as graph reduction. We use a sequential reduction strategy…
- Cited by 12 (1 self) – Add To MetaCart
-
Reduction Strategies for Declarative Programming
- … sequential normalizing reduction strategy is known, as in this example: g 0 [] = 0 g x (y:ys) = y Consider a…
- Cited by 2 (2 self) – Add To MetaCart
-
The Dynamics of Information Exchange Dialogues
- … rewriting literature [8]. Denition 3.7 A sequential reduction strategy for ! is a map F such that = F…
- Add To MetaCart
-
Sound Rules for Parallel Evaluation of a Functional Language with callcc
- … reduction strategy which corresponds to a sequential (left-to-right evaluation order) semantics. A parallel…
- Cited by 5 (4 self) – Add To MetaCart
-
The sigma-Semantics: A Comprehensive Semantics for Functional Programs
- …PosR (t):9(l!r) 2 R : (t u \Gamma\Gamma! l!r t 0 is a %-reduction). A sequential %-reduction…
- Add To MetaCart
Showing 1 through 6.
