Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
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
- "Models Of Computation". 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). Selected Papers on Computer Languages. 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). Types and Programming Languages. MIT Press.
- Pierce, Benjamin C. Advanced Topics in Types and Programming Languages.
- Pierce, Benjamin C. et al. (2010). Software Foundations.
Xarici keçidlər
- Lambda the Ultimate, a community weblog for professional discussion and repository of documents on programming language theory.
- Great Works in Programming Languages. Collected by ().
- Classic Papers in Programming Languages and Logic. Collected by ().
- Programming Language Research. Directory by Mark Leone.
- λ-Calculus: Then & Now by for the ACM Turing Centenary Celebration
- Grand Challenges in Programming Languages. Panel session at 2009.
wikipedia, oxu, kitab, kitabxana, axtar, tap, meqaleler, kitablar, oyrenmek, wiki, bilgi, tarix, tarixi, endir, indir, yukle, izlə, izle, mobil, telefon ucun, azeri, azəri, azerbaycanca, azərbaycanca, sayt, yüklə, pulsuz, pulsuz yüklə, haqqında, haqqinda, məlumat, melumat, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, şəkil, muisiqi, mahnı, kino, film, kitab, oyun, oyunlar, android, ios, apple, samsung, iphone, pc, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, web, computer, komputer
Proqramlasdirma dili nezeriyyesi proqramlasdirma dilleri kimi taninan formal dillerin dizayni tetbiq olunmasi tehlili xarakteristikasi ve tesnifati ile mesgul olan komputer elminin bir sahesi Proqramlasdirma dili nezeriyyesi riyaziyyat proqram teminati muhendisliyi ve dilcilik kimi diger sahelerle six baglidir Sahenin bir sira elmi konfranslari ve jurnallari movcuddur Yunan herfi l proqramlasdirma dili nezeriyyesi sahesinin qeyri resmi simvoludur Bu istifade 1930 cu illerde Alonzo Corc terefinden teqdim edilen ve proqramlasdirma dili tedqiqatcilari terefinden genis sekilde istifade edilen hesablama modeli olan lambda hesablamasindan ireli gelir TarixiMueyyen menada proqramlasdirma dili nezeriyyesinin tarixi hetta proqramlasdirma dillerinin inkisafindan da evvele tesaduf edir 1930 cu illerde Alonzo Corc ve terefinden hazirlanmis lambda hesablamasi bezileri terefinden dunyanin ilk proqramlasdirma dili hesab edilir baxmayaraq ki o proqramcilar ucun komputer sistemine alqoritmleri tesvir etmek vasitesi olmaq ucun yox hesablamalari modellesdirmek ucun nezerde tutulmusdu Bir cox muasir funksional proqramlasdirma dilleri lambda hesablamalari uzerinde nazik ortuk temin eden kimi tesvir edilmisdir ve bir coxu onun baximindan asanliqla tesvir olunur Yaradilan ilk proqramlasdirma dili 1940 ci illerde Konrad Tsuze terefinden dizayn edilmis lakin 1972 ci ile qeder ictimaiyyete melum olmayan ve 1998 ci ile qeder tetbiq edilmemis idi Ilk genis taninan ve ugurlu yuksek seviyyeli proqramlasdirma dili 1954 1957 ci illerde Con Bekusun rehberlik etdiyi IBM tedqiqatcilari qrupu terefinden hazirlanmis Fortran idi FORTRAN in uguru universal komputer dili hazirlamaq ucun alimler komitesinin formalasmasina sebeb oldu ve neticede yaradildi Ayri ayriliqda MIT den Con Makkarti akademik menseli ilk dil olan Lisp i yaratdi Bu ilkin seylerin uguru ile proqramlasdirma dilleri 1960 ci illerde ve sonraki illerde aktiv tedqiqat movzusuna cevrildi Istinadlar Models Of Computation wiki c2 com December 3 2014 Nov 30 2020 tarixinde Elave edebiyyatand 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 Selected Papers on Computer Languages 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 Types and Programming Languages MIT Press Pierce Benjamin C Advanced Topics in Types and Programming Languages Pierce Benjamin C et al 2010 Software Foundations Xarici kecidlerVikianbarda elaqeli media fayllar Lambda the Ultimate a community weblog for professional discussion and repository of documents on programming language theory Great Works in Programming Languages Collected by Classic Papers in Programming Languages and Logic Collected by Programming Language Research Directory by Mark Leone l Calculus Then amp Now by for the ACM Turing Centenary Celebration Grand Challenges in Programming Languages Panel session at 2009