[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Egon Börger and Tommaso Bolognesi, "Remarks on Turbo ASMs for Functional Equations and Recursion Schemes". In E. Börger, A. Gargantini, and E. Riccobene, eds., Abstract State Machines 2003. Advances in Theory and Practice, Springer LNCS 2589, 2003, 218-228. |
---|---|
Summary: | In response to a paper of Blass and Gurevich, natural recursive turbo ASMs for mergesort and quicksort are given and discussed. |
Subjects: | ASM Extensions |
Download: | From Egon Börger's home page in PDF. |
Notes: |