Automatic autoprojection of recursive equations with global variables and abstract data types

Anders Bondorf, Olivier Danvy

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

77 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Udgave nummerVol 16
Sider (fra-til)151-195
ISSN0167-6423
StatusUdgivet - 1991

Citationsformater