[{ALLOW view All}]
[{ALLOW modify Researchers}]

The semantics of Orc have been presented in several forms; however, some research questions (for example, modifying executing programs) have need for a semantic model that preserves the original program text during evaluation, rather than reducing the given program to its evaluated value.

Therefore, a "token semantics" of Orc is presented in the attached file. Threads of execution are represented as tokens which move through the program text, carrying intermediate values related to that thread of execution. A original program's original text is always available by simply erasing all tokens from an executing instance.

The current draft is attached: [Orc-token-semantics.pdf]