Liveness in Rewriting

@inproceedings{Giesl2003LivenessIR,
  title={Liveness in Rewriting},
  author={J{\"u}rgen Giesl and Hans Zantema},
  booktitle={RTA},
  year={2003}
}
In this paper, we show how the problem of verifying liveness properties is related to termination of term rewrite systems (TRSs). We formalize liveness in the framework of rewriting and present a sound and complete transformation to transform particular liveness problems into TRSs. Then the transformed TRS terminates if and only if the original liveness property holds. This shows that liveness and termination are essentially equivalent. To apply our approach in practice, we introduce a simpler… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…