k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

From: Mihály Palenik <palenik.mihaly AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Semantics with time
Date: Thu, 4 Jan 2018 08:01:22 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=palenik.mihaly AT gmail.com

Hello!

I have a statement which contains this syntax:

Millisecond "->" Exp

This means after Millisecond Exp should be evaulated.

Can you give me a hint how can I start to define a semantics for this? Is it possible to do like this with K?

Thank you in advance!

Best regards

Mihály Palenik

[[K-user] ] Semantics with time, Mihály Palenik, 01/04/2018
- Re: [[K-user] ] Semantics with time, Dorel Lucanu, 01/04/2018