“The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics”
E1782771
UNEXPLORED
“The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics” is a textbook by Matt Hennessy that introduces the formal meaning of programming languages through the framework of structural operational semantics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics” canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Matt Hennessy
→
hasWritten
→
“The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics”
ⓘ