Article contents
On Distributive Fixed-Point Expressions
Published online by Cambridge University Press: 15 August 2002
Abstract
For every fixed-point expression e of alternation-depth r, we construct a new fixed-point expression e' of alternation-depth 2 and size ${\cal O}(r\cdot|e|)$. Expression e' is equivalent to e whenever operators are distributive and the underlying complete lattice has a co-continuous least upper bound. We alternation-depth but also w.r.t. the increase in size of the resulting expression.
- Type
- Research Article
- Information
- RAIRO - Theoretical Informatics and Applications , Volume 33 , Issue 4-5 , July 1999 , pp. 427 - 446
- Copyright
- © EDP Sciences, 1999
References
- 4
- Cited by