Program Analysis and Transformation Group
(Группа методов анализа и преобразования программ)
Keldysh Institute of Applied Mathematics / Институт прикладной математики им. М.В. Келдыша РАН (ИПМ им. М.В. Келдыша РАН)
Russian Academy of Sciences / Российская академия наук (РАН)
Home pages: