TY  - BOOK
AU  - Климов, Андрей Валентинович
TI  - № 26. A program specialization relation based on supercompilation and its properties
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 2008///
CY  - Москва
PB  - ИПМ им. М. В. Келдыша РАН
UR  - https://keldysh.ru/papers/2008/prep2008_26_eng.pdf
ER  -