k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] K-related open problems and challenges

From: Dwight Guth <dwight.guth AT runtimeverification.com>
To: "Rosu, Grigore" <grosu AT illinois.edu>
Cc: k-user AT cs.illinois.edu
Subject: Re: [[K-user] ] K-related open problems and challenges
Date: Sat, 27 Feb 2016 10:19:21 -0600

I suspect I will be working on the module system at some point in the future, because I suspect it will be necessary in order to properly isolate the common fragment of C and C++, and to ensure the ability to execute mixed C/C++ programs. But I won't really know for sure until I start diving into the design work.

On Feb 27, 2016 7:36 AM, "Rosu, Grigore" <grosu AT illinois.edu> wrote:

Dear K users,

We have recently compiled a list of open problems and challenges related to K and its foundations at:

http://fsl.cs.illinois.edu/index.php/Open_Problems_and_Challenges

Please feel free to contact us if you are interested in any of these problems, or if you are already working on any of them.

Best,
Grigore

[[K-user] ] K-related open problems and challenges, Rosu, Grigore, 02/27/2016
- Re: [[K-user] ] K-related open problems and challenges, Dwight Guth, 02/27/2016
  - Re: [[K-user] ] K-related open problems and challenges, Omar Duhaiby, 02/27/2016
- Re: [[K-user] ] K-related open problems and challenges, Dorel Lucanu, 02/29/2016
  - RE: [[K-user] ] K-related open problems and challenges, Rosu, Grigore, 02/29/2016