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