| Year | 2012 |
|---|---|
| Type | Conference |
| Status | Proceedings |
| Authors | Unknown, Andrei Arusoaie, Traian Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
Links
Abstract
This paper describes the K tool, a system for formally defining programming languages. Formal definitions created using the K tool automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer. The modularity of K and the design of the tool allow one semantics to be used for several applications.
BibTeX
@inproceedings{lazar-etal-2012-fm,
author = {David Lazar and Andrei Arusoaie and Traian Florin Serbanuta and Chucky Ellison and Radu Mereuta and Dorel Lucanu and Grigore Rosu},
title = {Executing Formal Semantics with the K Tool},
booktitle = {Proceedings of the 18th International Symposium on Formal Methods (FM'12)},
year = {2012},
series = {Lecture Notes in Computer Science},
volume = {7436},
publisher = {Springer},
pages = {267-271},
url = {http://fm2012.cnam.fr/ [FM12]}
}