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
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