k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] News and Greetings

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] News and Greetings
Date: Mon, 24 Dec 2012 16:05:26 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear K users,

The latest version of the kompile tool is now implemented fully in Java (that
is, it uses no Maude anymore).
An immediate benefit is that kompilation is now faster, often twice or more.
Besides, and more importantly, we should now be able to fix bugs and improve
the design of the tool at a much higher rate than before.

Our greetings for the season attached :)

K Team

Attachment: K-Greeting.png
Description: K-Greeting.png

[K-user] News and Greetings, Rosu, Grigore, 12/24/2012
- Re: [K-user] News and Greetings, Seyed H. HAERI (Hossein), 12/24/2012