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 komputer elminin bir sah?si. Proqramla?dırma dili n?z?riyy?si riyaziyyat , proqram t?minatı muh?ndisliyi v? dilcilik kimi dig?r sah?l?rl? sıx ba?lıdır. Sah?nin bir sıra elmi konfransları v? jurnalları movcuddur.

Tarixi [ redakt? | m?nb?ni redakt? et ]

Mu?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?saduf edir. 1930-cu ill?rd? Alonzo Corc v? Stiven Koul Klini t?r?find?n hazırlanmı? lambda hesablaması , b?zil?ri t?r?find?n dunyanın ilk proqramla?dırma dili hesab edilir, baxmayaraq ki, o, proqramcılar ucun komputer sistemin? alqoritml?ri t?svir etm?k vasit?si olmaq ucun yox, hesablamaları modell??dirm?k ucun n?z?rd? tutulmu?du. Bir cox muasir funksional proqramla?dırma dill?ri lambda hesablamaları uz?rind? "nazik ortuk" t?min ed?n kimi t?svir edilmi?dir v? bir coxu onun baxımından asanlıqla t?svir olunur. ^[1]

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?) Plankalkul idi. ?lk geni? tanınan v? u?urlu yuks?k s?viyy?li proqramla?dırma dili 1954-1957-ci ill?rd? Con Bekusun r?hb?rlik etdiyi IBM t?dqiqatcıları qrupu t?r?find?n hazırlanmı? Fortran idi. FORTRAN-ın u?uru "universal" komputer dili hazırlamaq ucun aliml?r komit?sinin formala?masına s?b?b oldu v? n?tic?d? ALGOL 58 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 movzusuna cevrildi.

?stinadlar [ redakt? | m?nb?ni redakt? et ]

?lav? ?d?biyyat [ redakt? | m?nb?ni redakt? et ]

• Abadi, Martin and Cardelli, Luca . A Theory of Objects . Springer-Verlag.
• Michael J. C. Gordon . Programming Language Theory and Its Implementation . Prentice Hall.
• Gunter, Carl and Mitchell, John C. (eds.). Theoretical Aspects of Object Oriented Programming Languages: Types, Semantics, and Language Design . MIT Press.
• Harper, Robert . Practical Foundations for Programming Languages . Draft version.
• Knuth, Donald E. (2003). Selected Papers on Computer Languages . Stanford, California: Center for the Study of Language and Information.
• Mitchell, John C. Foundations for Programming Languages .
• Mitchell, John C. Introduction to Programming Language Theory .
• O'Hearn, Peter. W. and Tennent, Robert. D. (1997). Algol-like Languages . Progress in Theoretical Computer Science. Birkhauser, Boston.
• Pierce, Benjamin C. (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 kecidl?r [ redakt? | m?nb?ni redakt? et ]

• Lambda the Ultimate , a community weblog for professional discussion and repository of documents on programming language theory.
• Great Works in Programming Languages . Collected by Benjamin C. Pierce ( University of Pennsylvania ).
• Classic Papers in Programming Languages and Logic . Collected by Karl Crary ( Carnegie Mellon University ).
• Programming Language Research . Directory by Mark Leone.
• λ-Calculus: Then & Now by Dana S. Scott for the ACM Turing Centenary Celebration
• Grand Challenges in Programming Languages . Panel session at POPL 2009.