В работе предлагается машинно-независимая форма представления свойств машин в генераторах программ, основанная на трехуровневой модели. Эта модель является базой для создания универсальных методов распределения памяти и оптимизации объектных программ для широкого класса машин.