Definiția cu ID-ul 459423:

Explicative DEX

DENOTAȚIONA adj. semantică ~ă = ramură a informaticii care studiază corectitudinea programelor. (< fr. dénotationel)