שׂפַת תָכנית מחשבים ומערכות מידע
לועזית: program language

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