K-user mailing list

["Moore, Brandon Michael" <bmmoore AT illinois.edu>]

Dear Hossein,

You can find much of the code to go with the K-primer in the source 
repository, under svn/branches/papers :

http://code.google.com/p/k-framework/source/browse/#svn%2Fbranches%2Fpapers%2Fk-primer

Some examples have .k files ready to build, others you might need to copy the 
code from the
tex sources of the primer itself.

Brandon

________________________________________
From: 
k-user-bounces AT cs.uiuc.edu
 
[k-user-bounces AT cs.uiuc.edu]
 on behalf of Traian Florin Şerbănuţă 
[traian.serbanuta AT gmail.com]
Sent: Monday, February 13, 2012 10:55 AM
To: Seyed H. HAERI (Hossein)
Cc: 
k-user AT cs.uiuc.edu
Subject: Re: [K-user] Learning K

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<http://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<mailto: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/
--------------------------------------------------------------------------------------------------------------