DMCA
The K Primer (version 3.3) http://k-framework.org (2011)
by
Traian Florin
,
Andrei Arusoaie
,
David Lazar
,
Chucky Ellison
,
Dorel Lucanu
,
Grigore Ros
BibTeX
@MISC{Florin11thek,
author = {Traian Florin and Andrei Arusoaie and David Lazar and Chucky Ellison and Dorel Lucanu and Grigore Ros},
title = {The K Primer (version 3.3) http://k-framework.org},
year = {2011}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract This paper serves as a brief introduction to the K tool, a system for formally defining programming languages. It is shown how sequential or concurrent languages can be defined in K simply and modularly. These formal definitions automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer.
