Semantik (Informatik)

Semantik [zu griechisch sēmantikós »bezeichnend«, zu sēmaínein »bezeichnen«, zu sẽma »Zeichen«] die, -,

Informatik: die Bedeutung syntaktisch korrekter Anweisungen einer Programmiersprache (Syntax). Die exakte Beschreibung der Semantik ist zur eindeutigen Interpretation von Programmen erforderlich. Unmittelbar damit verbunden ist das Problem der Entwicklung sicherer Software (Verifikation).

Quellenangabe

Kostenlos testen

  • redaktionell geprüfte und verlässliche Inhalte

  • altersgerecht aufbereitet im Schullexikon

  • monatlich kündbar

oder
Sie sind Lehrkraft? Starten Sie Ihren kostenlosen Test hier.