The paper describes a machine-independent form of representing machine properties in program generators based on a three-level model. This model provides a basis for developing universal methods of storage allocation and object program optimization for a wide class of machines.