VMTL-A Modular Termination Laboratory

  title={VMTL-A Modular Termination Laboratory},
  author={Felix Schernhammer and Bernhard Gramlich},
The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many different methods and approaches have been developed for this purpose. We present VMTL (Vienna Modular Termination Laboratory), a tool implementing some of the most recent and powerful algorithms for termination analysis of TRSs, while providing an open interface that allows users to easily plug in new algorithms in a modular fashion… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 18 references

Similar Papers

Loading similar papers…