در اين بخش فضا براي مقادير صفت در زمان كمپايل مورد بررسي واقع مي گردد.فضايي براي مقادير صفت در زمان كمپايلبراي ارزيابي صفات، طول هر يك صفت هنگامي كه صفت در ابتدا محاسبه مي شود آغاز شده و هنگامي كه تمامي صفات كه به آن وابسته محاسبه گردند پايان يابد.مثال – تعريف نحوي شكل امكان استفاده از تعاريف به فرم زير را مي دهد.Real c [12] [3I]    RULES    PRODUCTION[3], y [5]  IntL. in= T.type    TL  O    T. type= integer    int  T    T. type = real    real  T    L1. in= L.in    L1,I  L    L. in= L. in        L. in= L. in    I  Lشكل 1) گذر دادن نوع به شناسه ها در يك اعلان    L1. in= array (numvalu,I.in)    I1  I    Addtypelid.entry,I,int)    id  Iنوع حاصل شده از T از L ارث برده و به شناسه هاي درون تعريف، سمت پايين منتقل مي گردد يك يال از T. type به L. in نشان مي دهد كه L. in به T. type وابسته است.تخصيص فضا براي صفات در زمان كامپايلاگر ترتيبي از ثبات ها براي نگهداري مقادير صفات داشته باشيم. براي سادگي فرض مي كنيم پرثبات مي تواند مقدار صفتي را نگهداري مي كند. اگر صفات نوع هاي مختلف را مشخص كند مي توانيم صفاتي را مقدار مشابهي فضاي حافظه اشغال مي كنند گرفته و هر گروه را به صورت مجزا در نظر مي گيريم.در تشخيص اين كه در كدام ثبات ها عمل ارزيابي صورت گيرد، به اطلاعات مربوط به طول عمر صفات تكيه مي كنيم. شكل 2     الف) گراف وابستگي يك درخت تجزيهب) تشخيص طول مقادير زير صفاتگره هاي وابستگي D براي يك درخت تجزيه را به ترتيبي كه بايستي ارزشيابي شدند در نظر مي گيريم در آغاز يك گروه از ثبات ها را داريم: (... r1, r2, ) اگر صفت b توسط قانون معنايي  تعريف شود آنگاه طول عمر يكي يا بيشتر از Ci ها ممكن است با ارزيابي b پايان يابد ثبات هايي كه چنين صفاتي را نگهداري مي كنند پس از اين كه b ارزيابي شد ارجاع مي گردند.