שפת תיכנות הדורשת ידע מועט של המחשב שבו יופעל תוכנית, יכול להיות מתורגם מספר שפות מחשב שונות, מאפשר מתן שמות סמליים של פעולות כתובות, מספק תכונות שנועדו להקל על ביטוי של מבני נתונים ולוגיקה התוכנית, בדרך כלל גורמת מספר הוראות המכונה עבור כל משפט התוכנית. הם דוגמאות עדה, שפה משותפת לשימושים מסחריים, פורטרן, אלגול, פסקל.