Sciweavers

RTA
2010
Springer

Optimizing mkbTT

13 years 7 months ago
Optimizing mkbTT
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Mas
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2010
Where RTA
Authors Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
Comments (0)