Partial evaluation and ω-completeness of algebraic specifications
Under an Elsevier user license
open archive
Cited by (0)
Partial support received from the European Communities under ESPRIT project 348 (Generation of Interactive Programming Environments—GIPE).
Copyright © 1986 Published by Elsevier B.V.