Wikipédia en français - L'encyclopé...
Download this dictionary
Sémantique des langages de programmation
En
informatique théorique
, la
sémantique formelle
(des
langages de programmation
) est l’étude de la signification des
programmes informatiques
vus en tant qu’objets
mathématiques
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.