Промежуточное представление программ в терминах сопоставления значений с образцомтезисы доклада