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(info)

Add new attachment

Only authorized users are allowed to upload new attachments.

List of attachments

Kind Attachment Name Size Version Date Modified Author Change note
pdf
Orc-token-semantics.pdf 243.4 kB 9 27-Sep-2011 14:53 JohnThywissen
« This page (revision-3) was last changed on 17-Feb-2010 16:07 by JohnThywissen