Skip to content
EntityQ2670534· pop 24· linked from 249 articles

théorie des langages de programmation

Sign in to save

Also known as theory of programming languages, PLT

branche de l'informatique

Wikidata facts

Show 5 more facts
Commons category
Programming language theory
partially coincident with
type theory
is the study of
programming language
Sources (3)

via Wikidata · CC0

Article · Français

La théorie des langages de programmation (anglais : Programming language theory ou PLT) est une branche de l'informatique qui traite de la conception, de la mise en œuvre, de l'analyse, de la caractérisation et de la classification des langages formels appelés langages de programmation. Elle est étroitement liée à d'autres domaines, notamment les mathématiques, le génie logiciel et la linguistique. Il existe un nombre important de conférences universitaires et de revues sur le sujet.

Abstract from DBpedia / Wikipedia · CC BY-SA