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
Russian source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
View statistics (updated once a day)
over the last 30 days — 0 (+0), total hit from 01.09.2019 — 71
About authors:
  • Klimov Yuri Andreevich, RAS