cl-banner

Optimizing mkbTT (System Description)

Sarah Winkler, Haruhiko Sato, Aart Middeldorp, and Masahito Kurihara

Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Leibniz International Proceedings in Informatics 6, pp. 373 – 384, 2010.

Abstract

We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-comple-tion with the use of termination tools.

 

  PDF |    doi:10.4230/LIPIcs.RTA.2010.373  |  © Creative Commons License – NC – ND

BibTeX 

@inproceedings{SWHSAMMK-RTA10,
author = "Sarah Winkler and Haruhiko Sato and Aart Middeldorp and Masahito Kurihara",
title = "Optimizing mkbTT (System Description)",
booktitle = "Proceedings of the 21st International Conference on
Rewriting Techniques and Applications",
series = "Leibniz International Proceedings in Informatics",
volume = 6,
pages = "373--384",
year = 2010
}
Nach oben scrollen