لغة برمجة التي تتطلب القليل من المعرفة للكمبيوتر الذي سيتم تشغيل برنامج، يمكن ترجمتها إلى عدة لغات مختلفة من الجهاز، ويسمح التسمية الرمزية للعمليات وعناوين، يوفر ميزات مصممة لتيسير التعبير عن هياكل البيانات ومنطق البرنامج، وعادة ما ينتج عن عدة تعليمات الجهاز لكل بيان من بيانات البرنامج. وتشمل الأمثلة أدا، كوبول، فورتران، رأس الغول، باسكال.