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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

Standard

Automatic autoprojection of recursive equations with global variables and abstract data types. / Bondorf, Anders; Danvy, Olivier.

I: Science of Computer Programming, Nr. Vol 16, 1991, s. 151-195.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

Harvard

Bondorf, A & Danvy, O 1991, 'Automatic autoprojection of recursive equations with global variables and abstract data types', Science of Computer Programming, nr. Vol 16, s. 151-195.

APA

Bondorf, A., & Danvy, O. (1991). Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, (Vol 16), 151-195.

Vancouver

Bondorf A, Danvy O. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming. 1991;(Vol 16):151-195.

Author

Bondorf, Anders ; Danvy, Olivier. / Automatic autoprojection of recursive equations with global variables and abstract data types. I: Science of Computer Programming. 1991 ; Nr. Vol 16. s. 151-195.

Bibtex

@article{e6e887e074d011dbbee902004c4f4f50,
title = "Automatic autoprojection of recursive equations with global variables and abstract data types",
author = "Anders Bondorf and Olivier Danvy",
year = "1991",
language = "English",
pages = "151--195",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "Vol 16",

}

RIS

TY - JOUR

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

AU - Bondorf, Anders

AU - Danvy, Olivier

PY - 1991

Y1 - 1991

M3 - Journal article

SP - 151

EP - 195

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - Vol 16

ER -

ID: 301764