Proqramlaşdırma dili nəzəriyyəsi — proqramlaşdırma dilləri kimi tanınan formal dillərin dizaynı, tətbiq olunması, təhlili, xarakteristikası və təsnifatı ilə məşğul olan kompüter elminin bir sahəsi. Proqramlaşdırma dili nəzəriyyəsi riyaziyyat, proqram təminatı mühəndisliyi və dilçilik kimi digər sahələrlə sıx bağlıdır. Sahənin bir sıra elmi konfransları və jurnalları mövcuddur.
Tarixi
Müəyyən mənada proqramlaşdırma dili nəzəriyyəsinin tarixi hətta proqramlaşdırma dillərinin inkişafından da əvvələ təsadüf edir. 1930-cu illərdə Alonzo Çörç və tərəfindən hazırlanmış lambda hesablaması, bəziləri tərəfindən dünyanın ilk proqramlaşdırma dili hesab edilir, baxmayaraq ki, o, proqramçılar üçün kompüter sisteminə alqoritmləri təsvir etmək vasitəsi olmaq üçün yox, hesablamaları modelləşdirmək üçün nəzərdə tutulmuşdu. Bir çox müasir funksional proqramlaşdırma dilləri lambda hesablamaları üzərində "nazik örtük" təmin edən kimi təsvir edilmişdir və bir çoxu onun baxımından asanlıqla təsvir olunur.
Yaradılan ilk proqramlaşdırma dili 1940-cı illərdə Konrad Tsuze tərəfindən dizayn edilmiş, lakin 1972-ci ilə qədər ictimaiyyətə məlum olmayan (və 1998-ci ilə qədər tətbiq edilməmiş) idi. İlk geniş tanınan və uğurlu yüksək səviyyəli proqramlaşdırma dili 1954-1957-ci illərdə Con Bekusun rəhbərlik etdiyi IBM tədqiqatçıları qrupu tərəfindən hazırlanmış Fortran idi. FORTRAN-ın uğuru "universal" kompüter dili hazırlamaq üçün alimlər komitəsinin formalaşmasına səbəb oldu və nəticədə yaradıldı. Ayrı-ayrılıqda, MIT-dən Con Makkarti akademik mənşəli ilk dil olan Lisp-i yaratdı. Bu ilkin səylərin uğuru ilə proqramlaşdırma dilləri 1960-cı illərdə və sonrakı illərdə aktiv tədqiqat mövzusuna çevrildi.
İstinadlar
- . wiki.c2.com. December 3, 2014. Nov 30, 2020 tarixində .
Əlavə ədəbiyyat
- and . A Theory of Objects. Springer-Verlag.
- . Programming Language Theory and Its Implementation. Prentice Hall.
- Gunter, Carl and (eds.). Theoretical Aspects of Object Oriented Programming Languages: Types, Semantics, and Language Design. MIT Press.
- . . Draft version.
- (2003). . Stanford, California: Center for the Study of Language and Information.
- Foundations for Programming Languages.
- Introduction to Programming Language Theory.
- and Tennent, Robert. D. (1997). . Progress in Theoretical Computer Science. Birkhauser, Boston.
- (2002). . MIT Press.
- Pierce, Benjamin C. Advanced Topics in Types and Programming Languages.
- Pierce, Benjamin C. et al. (2010). .
Xarici keçidlər
- , a community weblog for professional discussion and repository of documents on programming language theory.
- . Collected by ().
- . Collected by ().
- . Directory by Mark Leone.
- by for the ACM Turing Centenary Celebration
- . Panel session at 2009.