k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Tags and attributes

From: <daparpon AT dsic.upv.es>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Tags and attributes
Date: Wed, 01 Mar 2017 06:36:47 -0600

Hi! I have a question about some tags that I have found within K's example
language definitions. In particular, I am interested in the tag "[avoid]",
associated to both language constructs and rules, and "[function]", associated
to language constructs, in the specification of KernelC. Do they have any
specific functionality as attributes? And, if they do, which one is it?

Thanks in advance,
Daniel

[[K-user] ] Tags and attributes, daparpon, 03/01/2017
- Message not available
  - [[K-user] ] FW: Tags and attributes, Chen, Xiaohong, 03/01/2017