K-user mailing list

[soha hussein <husseinsoh AT gmail.com>]

Just to clarify the last question, i mean Can I call a K definition, that is 
complete (contains, its definition, KResults, rules) from another K 
definition? I know that we can include one definition into another, but I do 
not want that, because in my case both definitions have contradicting 
terminals, KResults. So somehow I want them to operate disjointly without 
having the same terminals.


Soha


On Jan 12, 2015, at 11:50 AM, soha hussein 
<husseinsoh AT gmail.com>
 wrote:

> Hello, 
> 
> I have a problem and I am wondering if you can help me. What i want to do 
> is actually very simple. I want a global variable (counter) and a function 
> (Exp -> Exp) that checks the counter and update its value accordingly. 
> 
> What I have done is I created the counter in a new cell <c>C:Int<c>, but 
> then writing a function rule like:
> 
> rule <k> f(C) => E:Exp </k>
>       <c>C:Int => C +Int 1</c>
> 
> 
> does not work, because K will match it when f is on top of the computation, 
> which I do not want, i want it to apply wherever it exists.
> 
> 
> I tried another way, I changed the function into a new internal expression 
> construct, but then I had a problem of defining the KResult; since the f: 
> Exp -> Exp then KResult will include Exp, but then computation on Exp will 
> stop since it is in the Exp.
> 
> 
> I am looping in the same issue over and over, I have another way to do it, 
> but it is so complicated for the purpose I want it. 
> 
> 
> So my questions are:
> 
> 1. Can anybody tell me how to create a global counter and have it 
> accessible through other functions? 
> 2. Are there other ways of defining a global variable?
> 3. Is there a built in counter, like fresh or random?
> 4. Are there any other way of defining terminals other than including them 
> in KResult?
> 5. Can I call a K program from another? How?
> 
> 
> 
> Thanks
> 
> Soha
>