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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  • Anders Bondorf
  • Olivier Danvy
OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Udgave nummerVol 16
Sider (fra-til)151-195
ISSN0167-6423
StatusUdgivet - 1991

ID: 301764