| Year | 2013 |
|---|---|
| Type | Talk |
| Status | Published |
| Authors | Grigore Rosu |
Links
Abstract
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.
BibTeX
@Talk{tutorial-popl13,
author = {Grigore Rosu},
title = {K Framework},
year = {2013},
month = {01},
url = {http://wrigstad.com/popl13/tutorialfest.html[POPL2013]}
}