שפת על-סף ("שפת תכנות עילי" או לחלופין "שפת מחשב גבוהה") היא כל שפת מחשב הנמצאת שכבה אחת לפחות, מבחינת אבסטרקציה, מעל שכבת שפות סף.
באופן כללי ניתן לפתח תוכנה עם שתיים או יותר שפות כאלה ← שפות מבנה ושפות התנהגות, אך לעתים גם שפה אחת תספיק (תלוי איזו תוכנה מפתחים).
ישנו מגוון שפות מחשב מסוג "על-סף" שאתאר עצמאית להלן.