T. Amtoft. Sharing of computations. PhD thesis, DAIMI, Aahus University, 1993. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Higher-Order Expression Procedures - Sands (1995) (4 citations) (Correct)
....[San94] is not able to prove the correctness of expression procedures, because of the (essential) abstraction rule. The idea of using a weighted improvement came from Torben Amtoft (Aarhus) the use of weights also oc10 curs in Amtoft s study of unfold fold transformations of logic programs [Amt93][Amt92] when the author was explaining the details of the proof of the improvement theorem. At the time, we concluded that a weighted improvement theorem looked like an easy generalisation, but that there were no obvious applications. A unifying topic for further work would be to show that the ....
T. Amtoft. Sharing of computations. PhD thesis, DAIMI, Aahus University, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC