Programming Language Theory Flashcard
Why is it useful to give >= 2 operational semantics for a single language?
Books
Concepts
Decklanguage theory
Question
Why is it useful to give >= 2 operational semantics for a single language?
Answer
It's useful to give 2 operational semantics:
One more abstract, with machine states that look similar to the terms that the programmer writes.
Another closer to the structures manipulated by an actual interpreter or compiler for the language.