K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Unfortunately, this does not work yet.  We have it very close to the top of our to-do-soon list, though.  This is also useful when you combine two languages, or two different definitions for the same language (for example a static and a dynamic semantics).

 

Thank you,

Grigore

 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Charles Jacobsen [charlie.jacobsen AT utah.edu]
Sent: Tuesday, June 18, 2013 9:31 PM
To: k-user AT cs.uiuc.edu
Subject: [K-user] Re-use a configuration inside of another configuration

Is it possible? For example, suppose I took the imp++ k module with configuration

<T> ... </T>

and imported it into another module, net++, with configuration similar to

<NET-T>
     <hosts>
          <host multiplicity="*">
                 <T> ... </T>
          </host>
     </hosts>
</NET-T>

I know this doesn't match my intent because the inner <T> would be interpreted as independent of the imp++ <T>.

What I'd like to do is write a base imperative language like imp++ in a separate module, and then import it into another module, placing an imp++ configuration inside each process. Thus, I could model C with a base module, and then extend the model to model the usage of a library inside C. Thoughts? It looks like I can have more than one configuration in a module.