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

KIAM Preprint № 33, Moscow, 2009
Authors: Klimov Y. A.
Specializer CILPE: correctness proof
The specializer CILPE, based on partial evaluation, transforms programs written in SOOL, a Stack Object-Oriented Language. In the paper the correctness of CILPE is proven: if the annotations in a source program are correct, the residual program generator produces a residual program that is equivalent to the source one for the specified values of the S-arguments and any values of D-arguments.
Publication language: russian,  страниц: 32
Research direction:
Programming, parallel computing, multimedia
Russian source text:
View statistics (updated once a day)
over the last 30 days — 1 (+0), total hit from 01.09.2019 — 9