关注
Andrei Klimov
Andrei Klimov
Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
在 keldysh.ru 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Occam's razor in metacomputation: the notion of a perfect process tree
R Glück, AV Klimov
International Workshop on Static Analysis, 112-123, 1993
1491993
A Java supercompiler and its application to verification of cache-coherence protocols
AV Klimov
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
332010
Solving coverability problem for monotonic counter systems by supercompilation
AV Klimov
Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012
302012
An approach to supercompilation for object-oriented languages: the Java Supercompiler case study
AV Klimov
First International Workshop on Metacomputation in Russia, 43–53, 2008
282008
Metacomputation as a tool for formal linguistic modeling
R Glück, A Klimov
Cybernetics and Systems '94, 1563–1570, 1994
251994
Partial evaluation for common intermediate language
AM Chepovsky, AV Klimov, AV Klimov, YA Klimov, AS Mishchenko, ...
Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 2003
222003
Metasystem transition schemes in computer science and mathematics
R Glück, A Klimov
World Futures: Journal of General Evolution 45 (1-4), 213-243, 1995
191995
A program specialization relation based on supercompilation and its properties
AV Klimov
Препринты Института прикладной математики им. МВ Келдыша РАН, 26-28, 2008
182008
Metavyčislitelʹ dlja jazyka REFAL: osnovnye ponjatija i primery
A Klimov, S Romanenko
Preprint 71, 32, 1987
151987
Automatic verification of counter systems via domain-specific multi-result supercompilation
AV Klimov, IG Klyuchnikov, SA Romanenko
Third International Valentin Turchin Workshop on Metacomputation, 112–141, 2012
142012
Multi-result supercompilation in action: Solving coverability problem for monotonic counter systems by gradual specialization
AV Klimov
International Workshop on Program Understanding, PU, 25–32, 2011
142011
Dynamic specialization in extended functional language with monotone objects
AV Klimov
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and …, 1991
131991
Yet another algorithm for solving coverability problem for monotonic counter systems
AV Klimov
Second Workshop “Program Semantics, Specification and Verification: Theory …, 2011
102011
A regeneration scheme for generating extensions
R Glück, A Klimov
Information Processing Letters 62 (3), 127-134, 1997
81997
Building Cyclic Data in a Functional-Like Language Extended with Monotonic Objects
AI Adamovich, AV Klimov
X Workshop PSSV: Program Semantics, Specification and Verification: Theory …, 2019
72019
How to create deterministic by construction parallel programs? Problem statement and survey of related works
AI Adamovich, AV Klimov
Program systems: Theory and applications 8 (4), 221-224, 2017
72017
On the degeneration of program generators by program composition
R Glück, A Klimov
New generation computing 16 (1), 75-95, 1998
71998
JVer project: Verification of Java programs by the Java Supercompiler
AV Klimov
https://pat.keldysh.ru/~anklimov/jver/, 2008
62008
Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit
AV Klimov, IG Klyuchnikov, SA Romanenko
Keldysh Institute Preprints, 20, 2012
42012
Nonlinear Configurations for Superlinear Speedup by Supercompilation
R Glück, A Klimov, A Nepeivoda
Fifth International Valentin Turchin Workshop on Metacomputation, 32, 2016
32016
系统目前无法执行此操作,请稍后再试。
文章 1–20