K-user mailing list

[Traian Florin Şerbănuţă <traian.serbanuta AT gmail.com>]

Dear Hossein,

If you're interested in a more tool-oriented introductory paper, you can take a look at our current draft of the K primer which I just uploaded on the k-framework.org page:

http://k-framework.org/index.php/The_K_Primer

Hope you would find this more helpful in the process of familiarizing with the K tool. 

As this is a draft, any suggestions for improvement are very appreciated.

best wishes,

- traian

2012/2/13 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>

Dear all,

I am almost done with reading "An Overview of the K Semantic Framework" as my first introduction to K. Whilst insightful on its own, the paper is unfortunately nowhere close to a tutorial for how to make use of K. I was wondering whether there ever is a tutorial for learning K?

Thanks,

--Hossein

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

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/
--------------------------------------------------------------------------------------------------------------