בשפות בהן ניתן לבצע השמה אל משתנים יש צורך להבחין בין R-value (תוכן) לבין L-value (מיקום) של משתנה. בשפות הצהרתיות, ערכים נדרשים להיות שקופי-התייחסות. פירוש הדבר שהערך המתקבל איננו תלוי במיקום שבו מאוחסן הביטוי שנדרש לשמירת תוצאת חישוב הערך. רק התוכן שנמצא באותו מיקום בזיכרון (המצב של הביטים, 0 או 1) והפירוש שלהם הם משמעותיים.