Digitale Medien
Springer
Higher-order and symbolic computation
12 (1999), S. 203-212
ISSN:
1573-0557
Schlagwort(e):
Euclidean Algorithm
;
binding-time separation
;
offline partial evaluation
;
The Trick
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
Notizen:
Abstract The usual formulation of the Euclidean Algorithm is not well-suited to be specialized with respect to one of its arguments, at least when using offline partial evaluation. This has led Danvy and Goldberg to reformulate it using bounded recursion. In this article, we show how The Trick can be used to obtain a formulation of the Euclidean Algorithm with good binding-time separation. This formulation of the Euclidean Algorithm specializes effectively using standard offline partial evaluation.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1023/A:1010004307057
Permalink
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |