Sémantika programovacích jazyků: Porovnání verzí

'''Sémantika programovacích jazyků''' je v [[Teorie programovacích jazyků|teorii programovacích jazyků]] obor zabývající se důsledným matematickým popisem významu [[Programovací jazyk|programovacího jazyka]]. Zhodnocuje význam [[Syntax|syntakticky]] platných řetězců v daném programovacím jazyce, včetně jejich výpočtu. V případě ohodnocování syntakticky neplatných řetězců, není výpočet proveden. Sémantika popisuje procesy, které řídí počítač při vykonávání [[Počítačový program|programu]] v daném programovacím jazyce. Například tím, že popisuje vztah mezi vstupem a výstupem programu, nebo popisem jak program poběží na určité [[Počítačová platforma|platformě]], tedy vytvořením modelu výpočtu.