Web Library  •  Publication Searh	Русский
	Publications

Klyuchnikov Ilya Grigor'evich
Email:

2013 year

1.	KIAM Preprint № 73, Moscow, 2013 Authors: Klyuchnikov I. G., Romanenko S. A. Title: TT Lite: a supercompiler for Martin-Löf’s type theory

2.	KIAM Preprint № 70, Moscow, 2013 Authors: Grechanik S. A., Klyuchnikov I. G., Romanenko S. A. Title: Staged multi-result supercompilation: filtering before producing

2012 year

3.	KIAM Preprint № 24, Moscow, 2012 Authors: Klimov A. V., Klyuchnikov I. G., Romanenko S. A. Title: Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit

4.	KIAM Preprint № 19, Moscow, 2012 Authors: Klimov A. V., Klyuchnikov I. G., Romanenko S. A. Title: Automatic verification of counter systems via domain-specific multi-result supercompilation

2011 year

5.	KIAM Preprint № 77, Moscow, 2011 Authors: Klyuchnikov I. G., Romanenko S. A. Title: MRSC: a toolkit for building multi-result supercompilers

2010 year

6.	KIAM Preprint № 81, Moscow, 2010 Authors: Klyuchnikov I. G. Title: Towards Effective Two-Level Supercompilation

7.	KIAM Preprint № 62, Moscow, 2010 Authors: Klyuchnikov I. G. Title: Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting

8.	KIAM Preprint № 31, Moscow, 2010 Authors: Klyuchnikov I. G. Title: Supercompiler HOSC: proof of correctness

9.	KIAM Preprint № 21, Moscow, 2010 Authors: Klyuchnikov I. G. Title: Supercompiler HOSC 1.1: proof of termination

2009 year

10.	KIAM Preprint № 63, Moscow, 2009 Authors: Klyuchnikov I. G. Title: Supercompiler HOSC 1.0: under the hood