k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Suminda Dharmasena <sirinath AT sakrio.com>
- To: info AT kframework.org, k-user AT cs.uiuc.edu
- Subject: Re: [K-user] Twelf
- Date: Wed, 1 Jan 2014 11:55:44 +0530
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
All formal specification and verification ideally should be built in to the language definition.
On 1 Jan 2014 11:18, "Suminda Dharmasena" <sirinath AT sakrio.com> wrote:
I am new to both. Played with Twelf for less than a hour. Perhaps you can borrow some ideas from Twelf.
- Re: [K-user] Twelf, Suminda Dharmasena, 01/01/2014
- Re: [K-user] Twelf, Rosu, Grigore, 01/01/2014
- Re: [K-user] Twelf, Suminda Dharmasena, 01/02/2014
- Re: [K-user] Twelf, Rosu, Grigore, 01/01/2014
Archive powered by MHonArc 2.6.16.