teoria języków programowania
Sign in to saveAlso known as theory of programming languages, PLT
branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features
Wikidata facts
Show 5 more facts
- Commons category
- Programming language theory
- topic's main category
- Category:Programming language theory
- Stack Exchange tag
- stackoverflow.com/tags/language-theory
- partially coincident with
- type theory
- is the study of
- programming language
Sources (3)
via Wikidata · CC0
Article · Polski
Teoria języków programowania (ang. programming language theory, PLT) – dziedzina informatyki teoretycznej zajmująca się analizą, charakteryzacją, klasyfikacją, projektowaniem i wdrażaniem języków programowania. Ważniejszymi obszarami PLT są semantyki formalne (ang. formal semantics), teoria typów (ang. type theory), metaprogramowanie, konstrukcja kompilatorów. PLT jest związana także z językoznawstwem, matematyką i kognitywistyką.
Abstract from DBpedia / Wikipedia · CC BY-SA