Andrei V. Klimov

Publication Activity (10 Years)

Years Active: 1991-2011
Publications (10 Years): 0

Publications

Andrei V. Klimov
Solving Coverability Problem for Monotonic Counter Systems by Supercompilation. Ershov Memorial Conference (2011)
Andrei V. Klimov
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. Ershov Memorial Conference (2009)
Andrei V. Klimov
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. Ershov Memorial Conference (2006)
Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov
Partial Evaluation for Common Intermediate Language. Ershov Memorial Conference (2003)
Robert Glück, Andrei V. Klimov
On the Degeneration of Program Generators by Program Composition. New Gener. Comput. 16 (1) (1998)
Andrei V. Klimov
Program Specialization vs. Program Composition. ACM Comput. Surv. 30 (3es) (1998)
Robert Glück, Andrei V. Klimov
A Regeneration Scheme for Generating Extensions. Inf. Process. Lett. 62 (3) (1997)
Robert Glück, Andrei V. Klimov
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. WSA (1993)
Andrei V. Klimov
Dynamic Specialization in Extended Functional Language with Monotone Objects. PEPM (1991)