Andrei Klimov

Andrei Klimov

Keldysh Institute for Applied Mathematics Russian Academy of Sciences - Moscow / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4486352
Келдиш Институт прикладной математики Российская академия наук
person_outline Andrei Klimov's MOST POPULAR ARTICLES
1-) Occam's razor in metacomputation: the notion of a perfect process tree International Workshop on Static Analysis, 112-123, 1993
2-) A Java supercompiler and its application to verification of cache-coherence protocols International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
3-) Solving coverability problem for monotonic counter systems by supercompilation International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
4-) An approach to supercompilation for object-oriented languages: the Java Supercompiler case study First International Workshop on Metacomputation in Russia, 43–53, 2008
5-) Metacomputation as a tool for formal linguistic modeling Cybernetics and Systems '94, 1563–1570, 1994