Open Problems and Challenges

From FSL
Revision as of 11:48, 26 January 2016 by Grosu (Talk | contribs)

Jump to: navigation, search

(back to Grigore Rosu's webpage) (back to the Programming Language Design and Semantics webpage)

Here is a list of open problems and challenges in K and matching logic. While we are doing our best to keep this list actual, it may well be the case that some of the problems have been solved in the meanwhile or that we have found a different way to approach the problem. In case you are interested in working on any of these problems, please send us a note at (grosu@illinois.edu) to make sure that the problem is still actual and nobody is already working on it. If you are not part of our team already and would like to be or to collaborate with us, please let us know.


  1. list item A1
    1. list item B1
    2. list item B2
    continuing list item A1
  2. list item A2
Personal tools
Namespaces

Variants
Actions
Navigation