針對處理過程，獨立于計算機進行程序設計的語言。設計程序時不必關心計算機的類型和內部結構，只需對解題及實現算法的過程進行設計。如algol、fortran、cobol等語言。