k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Learning K

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Learning K
Date: Mon, 13 Feb 2012 16:50:34 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

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

[K-user] Learning K, Seyed H. HAERI (Hossein), 02/13/2012
- <Possible follow-up(s)>
- Re: [K-user] Learning K, Traian Florin Şerbănuţă, 02/13/2012
  - Re: [K-user] Learning K, Moore, Brandon Michael, 02/14/2012
    - Re: [K-user] Learning K, Seyed H. HAERI (Hossein), 02/14/2012
  - Re: [K-user] Learning K, Seyed H. HAERI (Hossein), 02/21/2012
  - Message not available
    - Re: [K-user] Learning K, Traian Florin Șerbănuță, 02/21/2012
      - Re: [K-user] Learning K, Seyed H. HAERI (Hossein), 02/21/2012