k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] How to initialize a variable in a transaction?

From: <khainn10 AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] How to initialize a variable in a transaction?
Date: Sun, 21 Oct 2018 03:30:03 -0500

I want to design a language with the following statement:
"onacid AExp"
where onacid to open a transaction and it has an identifier (id).
AExp is an expression, which contains statements to declare, initializing a
variable (eg int x = 0).
When initializing a variable, that variable has a field containing the id of
the onacid above. This is to know which variable is in which transaction.
How do I do?

[[K-user] ] How to initialize a variable in a transaction?, khainn10, 10/21/2018