KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

KIAM Preprint № 209, Moscow, 2018
Authors: Romanenko S.A.
Supercompilation: homeomorphic embedding, call-by-name, partial evaluation
Abstract:
There are considered a number of issues related to supercompilation: (1) the use of the homeomorphic embedding relation for ensuring termination of supercompilation, (2) the peculiarities of supercompilation for the languages with call-by-name and call-by-value parameter passing, and (3) the advantages and drawbacks of supercompilation and partial evaluation.
Keywords:
supercompilation, program analysis, program optimization, program specialization, program transformation, metacomputation
Publication language: russian,  страниц: 32
Research direction:
Programming, parallel computing, multimedia
Russian source text:
View statistics (updated once a day)
over the last 30 days — 9 (+7), total hit from 01.09.2019 — 77