Kullanılan bilgi işleme donanımından olabildiğince bağımsız olup, belirli bir problem kümesinin çözümünde olabildiğince kullanışlı, çözümü belgelemede olabildiğince okunaklı, sorun alanının uzmanlarınca kolay öğrenilir nitelikte, yüksek düzeyli programlama dili. Örneğin, SQL veritabanı sorgulaması için, COBOL ticari uygulamalar için, FORTRAN da bilimsel problemler için tasarlanmış dillerdir.
Kütüphane