Partial evaluation and mixed computation
Dines Bjorner
Andrei Petrovich Ershov
IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark)
Compiling (Electronic Computers) Automatic Programming (Computer Science) Computer Programming