| 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 | 144 | 1993 |
| A Java supercompiler and its application to verification of cache-coherence protocols AV Klimov Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 33 | 2010 |
| Solving coverability problem for monotonic counter systems by supercompilation AV Klimov Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 29 | 2012 |
| 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 | 28 | 2008 |
| Metacomputation as a tool for formal linguistic modeling R Glück, A Klimov Cybernetics and Systems '94, 1563–1570, 1994 | 24 | 1994 |
| 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 | 23 | 2003 |
| 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 | 18 | 1995 |
| A program specialization relation based on supercompilation and its properties AV Klimov Препринты Института прикладной математики им. МВ Келдыша РАН, 26-28, 2008 | 17 | 2008 |
| Metavyčislitelʹ dlja jazyka REFAL: osnovnye ponjatija i primery A Klimov, S Romanenko Preprint 71, 32, 1987 | 15 | 1987 |
| 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 | 14 | 2012 |
| 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 | 14 | 2011 |
| Dynamic specialization in extended functional language with monotone objects AV Klimov Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and …, 1991 | 13 | 1991 |
| Yet another algorithm for solving coverability problem for monotonic counter systems AV Klimov Second Workshop “Program Semantics, Specification and Verification: Theory …, 2011 | 10 | 2011 |
| A regeneration scheme for generating extensions R Glück, A Klimov Information Processing Letters 62 (3), 127-134, 1997 | 8 | 1997 |
| 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 | 7 | 2019 |
| 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 | 7 | 2017 |
| On the degeneration of program generators by program composition R Glück, A Klimov New generation computing 16 (1), 75-95, 1998 | 7 | 1998 |
| JVer project: Verification of Java programs by the Java Supercompiler AV Klimov https://pat.keldysh.ru/~anklimov/jver/, 2008 | 6 | 2008 |
| Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit AV Klimov, IG Klyuchnikov, SA Romanenko Keldysh Institute Preprints, 20, 2012 | 4 | 2012 |
| Nonlinear Configurations for Superlinear Speedup by Supercompilation R Glück, A Klimov, A Nepeivoda Fifth International Valentin Turchin Workshop on Metacomputation, 32, 2016 | 3 | 2016 |
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
