Operationale Semantik

Natural & Formal Sciences Dictionary
Ein formales System, das die Bedeutung einer Programmiersprache durch Inferenzregeln definiert, welche beschreiben, wie Programmkonstrukte Ausführungszustände ändern oder zu Werten ausgewertet werden, üblicherweise in klein-Schritt-(Transitions-) oder groß-Schritt-(Evaluations-)Stilen dargestellt.