Proposal: Reword the term "execution token"
This page is dedicated to discussing this specific proposal
AntonErtl Reword the term "execution token"Proposal2020-09-03 11:55:03
M. Anton Ertl
The definition of the term "execution token" does not match its usage in FIND.
Change the wording of the definition of the term to match the usage.
In Section 2.1, change:
execution token: A value that identifies the execution semantics of a definition.
execution token: A value that identifies code that can be
EXECUTEd, e.g., for the interpretation semantics of a word.