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, pages: 32
Research direction:
Programming, parallel computing, multimedia
Source text: