Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

informatique ◊ pour un langage de programmation, sémantique qui considère essentiellement, dans un modèle mathématique, la structure des symboles abstraits et leur forme, sans tenir compte de leur signification