40e colloque sur les principes des langages de programmation à Rome, en Italie
Un langage de programmation est un langage artificiel conçu pour communiquer des instructions à une machine. La majorité des langages de programmation décrivent des calculs sous forme d'une série de commandes bien que certains, comme ceux utilisés pour soutenir la programmation fonctionnelle ou logique, utilisent des formes de description alternatives. La description d'un langage de programmation est généralement répartie en deux composants de syntaxe (forme) et de sémantique (signification).
Cet évènement sera un forum de discussion sur tous les aspects des langages et des systèmes de programmation, avec une attention particulière accordée aux principes qui étayent la pratique.Pour de plus amples informations, consulter: http://popl.mpi-sws.org/2013/(s’ouvre dans une nouvelle fenêtre)