k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] How to start learning the K framework

From: "dongbiao830415 AT foxmail.com" <dongbiao830415 AT foxmail.com>
To: k-user <k-user AT lists.cs.illinois.edu>
Subject: [[K-user] ] How to start learning the K framework
Date: Tue, 21 Nov 2017 00:09:45 +0800
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=dongbiao830415 AT foxmail.com
Feedback-id: esmtp:foxmail.com:bgforeign:bgforeign1

1、I want to understand the details of the K framework implementation, But I don't know how to start. Who can provide relevant information?
2、Symbolic Rewriting is used in the K framework and what is the principle of Symbolic Rewriting ?

Thank you very much!

dongbiao830415 AT foxmail.com

[[K-user] ] How to start learning the K framework, dongbiao830415 AT foxmail.com, 11/20/2017