Bibliothek

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Digitale Medien  (1)
  • 1995-1999  (1)
  • Euclidean Algorithm  (1)
  • PACS. 21.10.Re Collective levels – 23.20.En Angular Distribution and correlation measurements – 23.20.Lv Gamma transitions and level energy – 27.70.+q 150 ≤A≤ 189
Datenquelle
Materialart
  • Digitale Medien  (1)
Erscheinungszeitraum
Jahr
Schlagwörter
  • 1
    Digitale Medien
    Digitale Medien
    Partial Evaluation of the Euclidean Algorithm, Revisited (1999)
    Springer
    Higher-order and symbolic computation 12 (1999), S. 203-212 
    Details
    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
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...