
Programlama dili, yazılımcının bir algoritmayı ifade etmek amacıyla, bir bilgisayara ne yapmasını istediğini anlatmasının tektipleştirilmiş yoludur. Programlama dilleri, yazılımcının bilgisayara hangi veri üzerinde işlem yapacağını, verinin nasıl depolanıp iletileceğini, hangi koşullarda hangi işlemlerin yapılacağını tam olarak anlatmasını sağlar.

Pascal bilgisayar programlama dili pek çok öğrenciye bilgisayar programlamayı öğreten ve çeşitli versiyonları bugün hâlâ yaygın olarak kullanılmaya devam eden en önemli programlama dillerinden biridir. İlk Macintosh işletim sisteminin çoğu ve TeX Pascal ile yazılmıştır.
Backus-Naur form, adını bilgisayar programcılığının öncüleri John Backus ve Peter Naur'dan alan, 1950'lerin sonunda temelleri Backus'a ait bir makalede ortaya konmuş, formal dillerin ve programlama dillerinin sözdizimini açıklamak için kullanılan bir gösterimdir. Naur'un düzenlediği ALGOL 60 dilinin tanımlandığı makale, Backus-Naur formunun bilgisayar dünyasında tanınması açısından önemli rol oynamıştır.
Python, nesne yönelimli, yorumlamalı, birimsel (modüler) ve etkileşimli yüksek seviyeli bir programlama dilidir.

ALGOL(; adı ALGOrithmic Language'in kısaltmasından gelmektedir), ilk olarak 1958 yılında geliştirilen bir zorunlu bilgisayar programlama dili ailesidir. ALGOL diğer birçok dili büyük ölçüde etkilemiş ve Association for Computing Machinery (ACM) tarafından otuz yıldan uzun bir süre ders kitaplarında ve akademik kaynaklarda kullanılan algoritma tanımlaması için standart yöntem olmuştur.
Algol şu anlamlara gelebilir:
- ALGOL, yüksek düzey bir programlama dili.
- Algol (yıldız), yıldız sistemi.

Ada, yapısal, statik tipli, zorunlu, geniş spektrumlu ve nesne yönelimli bir üst düzey bilgisayar programlama dilidir. Pascal ve diğer dillerin genişletilmiş halidir. Gömülü design-by-contract (DbC), güçlü yazımı, açık eşzamanlı, senkronize mesaj geçişi, korunmuş objeli ve belirsiz bir dildir. Ada kod güvenliğini ve sürdürebilirliğini derleyicide hataları bularak geliştirdi.

Nesne yönelimli programlama veya kısaca NYP, Her işlevin nesneler olarak soyutlandığı bir programlama yaklaşımıdır. NYP destekleyen programlama dilleri yüksek seviye diller olarak adlandırılır.
Yorumlanan programlama dili bilgisayar programlamada yazılan programların çalışabilmeleri için kaynak kodlarının bir yorumlayıcı tarafından yorumlanması gerektiğini ifade etmektedir. "Interpreted programming language" olarak da geçmektedir.

Perseus veya Kahraman takımyıldızı, kuzey göksel yarımkürede, adını Yunan mitolojik kahramanı Perseus'tan alan bir takımyıldızdır. 2. yüzyıl gök bilimcisi Ptolemy tarafından listelenen 48 antik takımyıldızdan biridir ve Uluslararası Astronomi Birliği (IAU) tarafından tanımlanan 88 modern takımyıldız arasındadır.
Programlama dili teorisi (PDT), programlama dilleri olarak bilinen biçimsel dillerin ve bunların bireysel özelliklerinin tasarımı, uygulanması, analizi, karakterizasyonu ve sınıflandırılması ile ilgilenen bir bilgisayar bilimleri dalıdır. Matematik, yazılım mühendisliği, dilbilim ve hatta bilişsel bilime bağlı ve onu etkileyen bilgisayar bilimi disiplinine girer. PDT'ye adanmış çok sayıda dergide ve genel bilgisayar bilimi ve mühendisliği yayınlarında yayınlanan sonuçlarla tanınmış bir bilgisayar bilimi dalı ve aktif bir araştırma alanı haline gelmiştir.
Programlama paradigmaları, programlama dillerini özelliklerine göre sınıflandırmanın bir yoludur. Diller birden fazla paradigma içinde sınıflandırılabilir.
Simula, 1960'lı yıllarda Ole-Johan Dahl ve Kristen Nygaard tarafından Oslo'daki Norveç Bilgi İşlem Merkezi'nde geliştirilen Simula I ve Simula 67 adında iki programlama dilidir. Sözdizimsel olarak, ALGOL 60'ın oldukça sadık bir üst kümesidir.

Peter Naur, Danimarkalı bilgisayar bilimi öncüsü ve Turing Ödülü sahibidir.
Alan Jay Perlis, Amerikalı bilgisayar bilimcisi. Purdue Üniversitesi, Carnegie Mellon Üniversitesi ve Yale Üniversitesi'nde profesör olarak çalışmış olan Perlis, programlama dilleri konusundaki çalışmalarından ötürü Turing Ödülü'ne değer görülmüştür. Perlis ALGOL programlama dilini geliştiren takıma da önderlik etmiştir.
Otomatik programlama, programcıların soyutlanmış bir düzeyde geliştirme yapmalarını sağlamak üzere kaynak kodu üreten yaklaşıma verilen addır.
ALGOL W, Niklaus Wirth ve Tony Hoare tarafından ALGOL 60'ın ardılı olarak geliştirilmiş programlama dilidir. İlk uygulaması Stanford Üniversitesi'ndeki IBM/360 makineleri üzerinde gerçekleştirilmiştir. ALGOL 60'tan farklı olarak string, bitstring ve karmaşık sayı türlerini içermektedir.
Euler, Niklaus Wirth ve Helmut Weber tarafından ALGOL 60'ın ardılı olarak geliştirilen programlama dilidir. Adını İsviçreli matematikçi Leonhard Euler'den almıştır. Dil reference, label, symbol, list ve procedure gibi veri tiplerini içermektedir.
ALGOL 68, çok daha geniş bir uygulama kapsamı ve daha titiz bir şekilde tanımlanmış sözdizimi ve anlambilim hedefiyle tasarlanmış, ALGOL 60 programlama dilinin halefi olarak tasarlanan programlama dilidir.

Regnecentralen (RC) Danimarka'nın ilk bilgisayar şirketidir. 1955'te kurulmuş olan şirket delikli bant üretimi de yapmıştır. ALGOL programlama dilini geliştiren Peter Naur 1960'larda bu şirketin çalışanı olmuştur.