מישפט לא לביצוּעַ מחשבים ומערכות מידע
לועזית: unexecutable statement

בתכנית מחשב: ביטוי הקובע תכונות של מרכיבים בתכנית, אך אינו נותן הוראת ביצוע. (גם: הכרזה).