|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
A. V. Klimov, S. A. Romanenko, “Supercompilation: main principles and basic concepts”, Keldysh Institute preprints, 2018, 111, 36 pp.   |
3
|
| 2. |
I. A. Adamovich, And. V. Klimov, “An interactive specializer based on partial evaluation for a Java subset”, Proceedings of ISP RAS, 30:4 (2018), 29–44 |
3
|
|
2017 |
| 3. |
A. I. Adamovich, And. V. Klimov, “How to create deterministic by construction parallel programs?
Problem statement
and survey of related works”, Program Systems: Theory and Applications, 8:4 (2017), 221–224 |
5
|
|
2012 |
| 4. |
A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit”, Keldysh Institute preprints, 2012, 024, 21 pp. ; 2012, 024, 20 pp. |
1
|
| 5. |
A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Automatic verification of counter systems via domain-specific multi-result supercompilation”, Keldysh Institute preprints, 2012, 019, 30 pp. ; 2012, 019, 28 pp. |
2
|
|
2011 |
| 6. |
A. V. Klimov, “A simple algorithm for solving the coverability problem for monotonic counter systems”, Model. Anal. Inform. Sist., 18:4 (2011), 106–117 |
|
2010 |
| 7. |
I. A. Adamovich, A. V. Klimov, Yu. A. Klimov, A. Yu. Orlov, A. B. Shvorin, “Thoughts on the development of SKIF-Aurora supercomputer interconnect”, Program Systems: Theory and Applications, 1:3 (2010), 107–123 |
2
|
|
2008 |
| 8. |
A. V. Klimov, “A program specialization relation based on supercompilation and its properties”, Keldysh Institute preprints, 2008, 026, 28 pp. |
|
| Organisations |
|
| |
|
|
Contact us: