KIAM Main page Web Library  •  Publication Searh   
Publications
Klimov Y. A.
Personal page: http://keldysh.ru/persons/english/yuklimov.html
Email:

2009 year
1.  KIAM Preprint  33, Moscow, 2009
Authors: Klimov Y.A.
Title: Specializer CILPE: correctness proof
2.  KIAM Preprint  8, Moscow, 2009
Authors: Klimov Y.A.
Title: Specializer CILPE: residual program generation
3.  KIAM Preprint  7, Moscow, 2009
Authors: Klimov Y.A.
Title: Specializer CILPE: binding time analysis

2008 year
4.  KIAM Preprint  44, Moscow, 2008
Authors: Klimov Y.A.
Title: SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques
5.  KIAM Preprint  30, Moscow, 2008
Authors: Klimov Y.A.
Title: Specializer CILPE: examples of object-oriented program specialization
6.  KIAM Preprint  12, Moscow, 2008
Authors: Klimov Y.A.
Title: Program specialization for object-oriented languages by partial evaluation: approaches and problems