Programming language theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages and of their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. It has become a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications.
Wikipage disambiguates
Abstraction principle (computer programming)Call-by-push-valueCategory theoryComputational modelComputer scienceComputer science and engineeringComputer scientistComputingCurry–Howard correspondenceEdsger W. DijkstraEntity component systemExpression (mathematics)Flow-sensitive typingFrank PfenningFunctional programmingGlossary of artificial intelligenceGlossary of computer scienceGérard HuetHigh Order Language Working GroupHigher-Order and Symbolic ComputationHistory of programming language theoryJohn C. MitchellKleene algebraLambda calculusLaw of trivialityLazy evaluationList of computer science conferencesList of pioneers in computer scienceList of programming language researchersNoam_ChomskyNon-local variableOutline of computer programmingOutline of computer sciencePHPPLTPOPLmark challengeParametricityPeter BunemanProgramming languageProgramming language research
Link from a Wikipage to another Wikipage
primaryTopic
Programming language theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages and of their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. It has become a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications.
has abstract
La teoria de llenguatges de pr ...... la feina de Sussman i Steele.
@ca
La teoria dei linguaggi di pro ...... i di informatica e ingegneria.
@it
La teoría de lenguajes de prog ...... l trabajo de Sussman y Steele.
@es
Programazio-lengoaien teoria i ...... Sussman eta Steeleren ohorez.
@eu
Programming language theory (P ...... and engineering publications.
@en
Teoria języków programowania ( ...... , matematyką i kognitywistyką.
@pl
Теория языков программирования ...... ммной инженерии и лингвистике.
@ru
Теорія мови програмування (анг ...... орматики та інженерної справи.
@uk
نظرية لغة البرمجة (PLT) هي فرع ...... ات علوم وهندسة الحاسوب العامة.
@ar
编程语言理论(英語:Programming language ...... 机科学,既依赖又影响着数学、软件工程、语言学,甚至认知科学。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,025,784,720
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
La teoria de llenguatges de pr ...... ixen treballar en aquest tema.
@ca
La teoria dei linguaggi di pro ...... i di informatica e ingegneria.
@it
La teoría de lenguajes de prog ...... quieren trabajar en este tema.
@es
Programazio-lengoaien teoria i ...... gaur egun, arlo hau jorratzea.
@eu
Programming language theory (P ...... and engineering publications.
@en
Teoria języków programowania ( ...... , matematyką i kognitywistyką.
@pl
Теория языков программирования ...... ммной инженерии и лингвистике.
@ru
Теорія мови програмування (анг ...... орматики та інженерної справи.
@uk
نظرية لغة البرمجة (PLT) هي فرع ...... ات علوم وهندسة الحاسوب العامة.
@ar
编程语言理论(英語:Programming language ...... 机科学,既依赖又影响着数学、软件工程、语言学,甚至认知科学。
@zh
label
Programazio-lengoaien teoria
@eu
Programming language theory
@en
Teoria de llenguatges de programació
@ca
Teoria dei linguaggi di programmazione
@it
Teoria języków programowania
@pl
Teoría de lenguajes de programación
@es
Теория языков программирования
@ru
Теорія мов програмування
@uk
نظرية لغات البرمجة
@ar
程式語言理論
@zh