k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: "Park, Daejun" <dpark69 AT illinois.edu>
- To: "wang_feng_bro AT 163.com" <wang_feng_bro AT 163.com>
- Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
- Subject: Re: [[K-user] ] About some usage of K
- Date: Sun, 15 Jan 2017 22:36:02 +0000
- Accept-language: en-US
Hi Jerry,
Please find README files and/or videos (http://www.kframework.org/index.php/K_Tutorial) which should explain them very well.
For a brief explanation,
- Rho is nothing but a variable used in the rules to match part of configuration.
- [klabel] is an attribute to introduce custom symbols in addition to the ones implicitly generated.
- [macro] is an attribute saying that the rule should be applied before running the program.
Best,
Daejun
On Jan 15, 2017, at 6:59 AM, wang_feng_bro AT 163.com wrote:
Hi, all
What is the meaning of ‘Rho' in the tutorial, [klabel], and [marco] respectively ? Thanks!
Jerry
- [[K-user] ] About some usage of K, wang_feng_bro, 01/15/2017
- Re: [[K-user] ] About some usage of K, Park, Daejun, 01/15/2017
Archive powered by MHonArc 2.6.19.