Search

• < Previous
• 1
• Next >

Transforming Outermost into Context-Sensitive Rewriting

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;]