Search

Your search keyword '"Nemytykh, Andrei P."' showing total 4 results
Start Over Author "Nemytykh, Andrei P." Database Complementary Index
4 results on '"Nemytykh, Andrei P."'

1. A Note on Specialization of Interpreters.

Author

Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Diekert, Volker, Volkov, Mikhail V., Voronkov, Andrei, Lisitsa, Alexei, and Nemytykh, Andrei P.

Abstract

Given a program with two arguments p(x,y). Let the first argument x0 be fixed. The aim of program specialization with respect to the known x0 is to construct an optimized program Px0(y) such that Px0(y) = P(x0,y). Specialization of interpreters with respect to programs is well known problem. In this paper we argue that specialization of interpreters with respect to data may be seen as program verification. [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

4. REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION.

Author

Lisitsa, Alexei and Nemytykh, Andrei P.

Subjects
PROGRAM transformation, COMPILERS (Computer programs), COMPUTER systems, SOFTWARE verification, CACHE memory
Abstract

We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statements about safety properties of a system to be verified are translated into the statements about properties of the program that simulates and tests the system. Supercompilation is used then to establish the required properties of the program. In this paper we show that reachability analysis performed by supercompilation can be seen as the proof of a correctness condition by induction. We formulate suitable induction principles and proof strategies and illustrate their use by examples of verification of parameterized protocols. [ABSTRACT FROM AUTHOR]

Published
2008
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results