Operational Semantics Flashcards
1
Q
What are some downsides of Big Step?
A
Hard to handle complex features, e.g. concurrency
Hides non-termination
2
Q
What are the advantages of Big Step?
A
Sometimes leads to smaller proofs.
3
Q
What are Evaluation Contexts?
A
Provide a way to compactly express context rules.
Include a special variable . the hole.
