Sémantika programovacích jazyků: Porovnání verzí
Smazaný obsah Přidaný obsah
Formulace, styl |
m -sloučit |
||
Řádek 1:
'''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.
|