K-user mailing list

[Dorel Lucanu <dlucanu AT info.uaic.ro>]

The split of the rules in structural/computational is from the theoretical point of view: the operational semantics is given by applying the computational rules modulo the structural ones.
The compilation is not affected now by this classification.
Indeed, in order to build a model that approximates the theoretical one, you have to use the transition tag or the "-transition" option.

Dorel

On 7/17/13 1:17 AM, Emmanuel Castro wrote:

It is stated in K samples that structural rules do not count as transitions. Practically it seems that, transitions count only when rules are tagged [transition] or when we add them to the -transition option of Kompile.

Does adding [structural] is purely conventional, or does it yield to a special way of compiling rules?

Manu

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user