K-user mailing list

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

Hi there,

Thank you guys. I'll come back to you as soon as I need further help.

Cheers,

--Hossein

2012/2/14 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/
--------------------------------------------------------------------------------------------------------------

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

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