Abstract
We give an alternative proof of the result of Long et al. (1994) that nested fixpoint expressions e of alternation depth d > 1 can be evaluated over a complete lattice of height h in time O(d · |e\/(d - 1))[d/2]+1). The advantage of our proof is that it is both extremely short and extremely simple.
Original language | English |
---|---|
Pages (from-to) | 303-308 |
Number of pages | 6 |
Journal | Information Processing Letters |
Volume | 59 |
Issue number | 6 |
DOIs | |
State | Published - 23 Sep 1996 |
Externally published | Yes |
Keywords
- Evaluation of fixpoint expressions
- Hierarchical systems of equations
- Model-checking