k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] How to design a new language with transactions

From: <khainn10 AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] How to design a new language with transactions
Date: Wed, 22 May 2019 04:37:00 -0500

I want to use K to design a language with transactions. Each transaction has
an identifier, each variable declared in the transaction will be assigned the
transaction identifier containing it.
Can you help me?
Thank you very much,

[[K-user] ] How to design a new language with transactions, khainn10, 05/22/2019
- Re: [[K-user] ] How to design a new language with transactions, Christos Kloukinas, 05/30/2019