Revision as of 07:36, 15 October 2021 edit 130.225.198.173 (talk) Add link to denotational semantics ← Previous edit		Revision as of 14:07, 14 January 2022 edit undo 130.226.254.66 (talk) Fix broken link by switching to archived version Next edit →
Line 110: ===Big-step semantics=== ====Natural semantics==== Big-step structural operational semantics is also known under the names '''natural semantics''', '''relational semantics''' and '''evaluation semantics'''.<ref>[~~http~~https://web.archive.org/web/20131019133339/https://fsl.cs.illinois.edu/images/6/63/CS422-Spring-2010-BigStep.pdf University of Illinois CS422]</ref> Big-step operational semantics was introduced under the name ''natural semantics'' by [[Gilles Kahn]] when presenting Mini-ML, a pure dialect of [[ML (programming language)\|ML]]. One can view big-step definitions as definitions of functions, or more generally of relations, interpreting each language construct in an appropriate ___domain. Its intuitiveness makes it a popular choice for semantics specification in programming languages, but it has some drawbacks that make it inconvenient or impossible to use in many situations, such as languages with control-intensive features or concurrency.

Operational semantics: Difference between revisions