| 2008 |
|---|
| 9 | EE | Alexei Lisitsa,
Andrei P. Nemytykh:
Reachability Analysis in Verification via Supercompilation.
Int. J. Found. Comput. Sci. 19(4): 953-969 (2008) |
| 2007 |
|---|
| 8 | EE | Alexei Lisitsa,
Andrei P. Nemytykh:
A Note on Specialization of Interpreters.
CSR 2007: 237-248 |
| 7 | EE | Alexei Lisitsa,
Andrei P. Nemytykh:
Verification as a parameterized testing (experiments with the SCP4 supercompiler).
Programming and Computer Software 33(1): 14-23 (2007) |
| 2005 |
|---|
| 6 | EE | Alexei Lisitsa,
Andrei P. Nemytykh:
Towards Verification via Supercompilation.
COMPSAC (2) 2005: 9-10 |
| 2003 |
|---|
| 5 | EE | Andrei P. Nemytykh:
The Supercompiler SCP4: General Structure.
Ershov Memorial Conference 2003: 162-170 |
| 2002 |
|---|
| 4 | EE | Andrei P. Nemytykh:
A note on elimination of simplest recursions.
ASIA-PEPM 2002: 138-146 |
| 1996 |
|---|
| 3 | | Andrei P. Nemytykh,
Victoria A. Pinchuk,
Valentin F. Turchin:
A Self-Applicable Supercompiler.
Dagstuhl Seminar on Partial Evaluation 1996: 322-337 |
| 2 | | Andrei P. Nemytykh,
Victoria A. Pinchuk:
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.
Ershov Memorial Conference 1996: 249-260 |
| 1990 |
|---|
| 1 | | S. V. Chmutov,
E. A. Gaydar,
I. M. Ignatovich,
V. F. Kozadoy,
Andrei P. Nemytykh,
Victoria A. Pinchuk:
Implementation Of The Symbolic Analytic Transformations Language FLAC.
DISCO 1990: 276-277 |
