- K is a framework for experimenting with programming language designs http://fsl.cs.uiuc.edu/index.php/k_prototype 14 comments programming
- K-Scheme is a formal, executable, definition of Scheme, using rewriting logic [Maude] [say what?] http://fsl.cs.uiuc.edu/index.php/k-scheme 7 comments programming