VMTL-A Modular Termination Laboratory

@inproceedings{Schernhammer2009VMTLAMT,
  title={VMTL-A Modular Termination Laboratory},
  author={Felix Schernhammer and Bernhard Gramlich},
  booktitle={RTA},
  year={2009}
}
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

Citations

Publications citing this paper.

References

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

Similar Papers

Loading similar papers…