Parte de vorbire: s. Origine: (fr. dénotationel)
1. semantică ~ă = ramură a informaticii care studiază corectitudinea programelor.