K-user mailing list

[Charles Jacobsen <charlie.jacobsen AT utah.edu>]

Greetings ---

Are the semantics of built-in lists, sets, and bags available? For example, I found the following simple rule natural, but wanted to see why it works (looking at the relevant rule):

<some-list-cell> ... (.List => ListItem(15)) ... </some-list-cell>

This means we can insert anywhere in a list.

This next rule is a bit perplexing, due to the configuration abstraction (found in the imp++ tutorial):

rule <k> spawn S => T ...</k> <env> Rho </env>
       (. => <thread>... <k> S </k> <env> Rho </env> <id> T </id> ...</thread>)

It seems like the implied configuration, wrapping this, is:

rule <thread>
        <k> spawn S => T ...</k> <env> Rho </env>
        (. => <thread>... <k> S </k> <env> Rho </env> <id> T </id> ...</thread>)
     </thread>

as only <k> and <env> cells appear in <thread> cells; but I think that is not correct. I think the implied configuration is:

rule <threads>
        ...       
        <thread>
           ...
           <k> spawn S => T ...</k>
           <env> Rho </env>
           ...
        </thread>

        (. => <thread>... <k> S </k> <env> Rho </env> <id> T </id> ...</thread>)
        ...
     </threads>

Is that correct? I am not sure.

Charlie (undergrad)