1986
Partial evaluation and $omega$-completeness of algebraic specifications
Publication
Publication
Theoretical Computer Science , Volume 43 - Issue 2-3 p. 149- 167
Additional Metadata | |
---|---|
, , , , , | |
elsevier | |
Theoretical Computer Science | |
Heering, J. (1986). Partial evaluation and $omega$-completeness of algebraic specifications. Theoretical Computer Science, 43(2-3), 149–167. |