LaToKi is a toolkit for experimentation with different implementations of recursion in strict functional programs. Its main emphasis is on the bottom-up evaluation of structural recursive denned programs. We have developed a technique that allows the evaluation of a wide subclass of structural recursive functions using a constant amount of control memory.
CITATION STYLE
Thiemann, P. (1992). LaToKi: A language toolkit for bottom-UP evaluation of functional programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 631 LNCS, pp. 481–482). Springer Verlag. https://doi.org/10.1007/3-540-55844-6_159
Mendeley helps you to discover research relevant for your work.