Advanced
Compilers & Programming Language Theory
Q86 / 100
What is operational semantics?
Correct! Well done.
Incorrect.
The correct answer is B) A formal semantics defining programming language meaning by specifying how programs execute step-by-step as transitions between configurations
B
Correct Answer
A formal semantics defining programming language meaning by specifying how programs execute step-by-step as transitions between configurations
Explanation
Operational semantics (Structural, Natural/Big-step, Small-step): inference rules defining transition relation ⟨e,σ⟩→⟨e',σ'⟩ or ⟨e,σ⟩⟹⟨v,σ'⟩. Mechanically verifiable. Used in language specifications (ECMA, JVM) and proof assistants.
Progress
86/100