K Framework

A brief overview of K, a framework for programming language design, semantics and formal analysis. K is a joint project between a team in Urbana, USA, led by Grigore Rosu, and a team in Iasi, Romania, led by Dorel Lucanu.

 

Sidebar