K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Dear Grigore (and the rest of the K team),

Well done! :) So, what are the new features of kompile from a
functionality point of view? Can I, for example, talk to it through
JVM (say, in my favourite JVM language, i.e., Scala)? And, what about
kast? Can I get the AST in a JVM data structure?

Greetings of the season,
--Hossein

On 24 December 2012 17:05, Rosu, Grigore 
<grosu AT illinois.edu>
 wrote:
> 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
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>



-- 
--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------