שפת תִכנות המספקת את האמצעים כדי לציין את התוצאות הנדרשות מפעולות של מערכת עיבוד נתונים, על ידי שימוש בפסוקים מסוימים או בפקודות מסוימות שיש לבצע בסדר מסוים.

בשפות תכנות שמוגדרות כך, המתכנת כותב את הליכי הביצוע של המעבד, להבדיל ממחולל יישומים שבו כותבים דרישות, או פרמטרים לעיצוב התוכנית.
דוגמות: Ada ,BASIC, COBOL ,Fortran ,C, ++C ו- Pascal.
גם: שפה מוכוונת נהלים.