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

בתכנית מחשב: מישפט המגדיר פעולה שאותה יש לבצע במהלך התכנית.