Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Local Termination: theory and practice

Joerg Endrullis ; Roel de Vrijer ; Johannes Waldmann.
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic characterisation and most known termination methods are concerned with&nbsp;[&hellip;]
Published on September 7, 2010
Volume 6, Issue 3

Transforming Outermost into Context-Sensitive Rewriting

Joerg Endrullis ; Dimitri Hendriks.
We define two transformations from term rewriting systems (TRSs) to context-sensitive TRSs in such a way that termination of the target system implies outermost termination of the original system. In the transformation based on 'context extension', each outermost rewrite step is modeled by exactly&nbsp;[&hellip;]
Published on June 29, 2010
Volume 6, Issue 2
  • < Previous
  • 1
  • Next >