Harshita Goswami

Thank you sir for your kind help. sir one more thing I want to know that how to show the value of a variable during execution( for example: assume while...

Thankyou sir for kind help. sir, i am writing program as int x,y; x=read(); // I assume read as high type y=x+5; // as x is high then y should...

sir,I am getting problem to assign a new type( high or low ) to a variable which is of type int in k type system.kindly give me a little hint...

I have gone through https://github.com/kframework/k/tree/master/k-distribution/tutorial/1_k/5_types/lesson_9 but I am unable to understand as i am new lambda calculus.I am trying to assign a new type to a variable as i maintained...

I am trying to write a rule which can assign value of that type on that statement,further that value should be used if the behaviour change. for example, int x,y;...

I M trying..will rply u the result. On 19 Jan 2016 04:27, "laurayuwen" [email protected] wrote: > Could you try this? https://github.com/kframework/k/tree/javaCompatible > > — > Reply to this email directly...

in this screenshot i downloaded TAR.GZ file. On Tue, Jan 19, 2016 at 1:20 AM, Daejun Park [email protected] wrote: > @20harshita https://github.com/20harshita which K version are you > using? @laurayuwen...

after runing command kjkompile.sh..will processing semantics take more time to process?? due to this my system get hanged..shall i have to run it on server?? On Tue, Jan 19, 2016...

Can you provide me how to get input from user in K in imp language?

harshita@harshita-VPCEH25EN:~/java-semantics/src$ kjkompile.sh Preprocessing semantics: /home/harshita/java-semantics/tools/kjkompile.sh: line 99: kompile: command not found Execution semantics: /home/harshita/java-semantics/tools/kjkompile.sh: line 98: kompile: command not found Done //How to overcome from such type of error