|
Web Library Publication Searh | Русский |
Publications |
Klimov Yuri Andreevich | |
Personal page: | https://keldysh.ru/persons/english/yuklimov.html |
Email: | yuklimov@keldysh.ru |
ORCID: | 0000-0001-5081-1547 |
2022 year |
1. |
Authors: , Title: Specialization of interpreters written in object-oriented languages can be effective |
2020 year |
2. |
Authors: , , Klimov A. V., , Romanenko S. A. Title: Digit-wise parallelism of addition of real numbers due to redundancy of representation |
2018 year |
3. |
Authors: Andreev S. S., Dbar S. A., , Lacis A. O., Plotkina E. A. Title: Quantum computation model: the classical programmer's viewpoint |
2009 year |
4. |
Authors: Title: Specializer CILPE: correctness proof |
2009 year |
5. |
Authors: Title: Specializer CILPE: residual program generation |
2009 year |
6. |
Authors: Title: Specializer CILPE: binding time analysis |
2008 year |
7. |
Authors: Title: SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques |
2008 year |
8. |
Authors: Title: Specializer CILPE: examples of object-oriented program specialization |
2008 year |
9. |
Authors: Title: Program specialization for object-oriented languages by partial evaluation: approaches and problems |