TY - JOUR
T1 - The K primer (version 3.3)
AU - Şerbǎnuţǎ, Traian Florin
AU - Arusoaie, Andrei
AU - Lazar, David
AU - Ellison, Chucky
AU - Lucanu, Dorel
AU - Roşu, Grigore
N1 - Funding Information:
The work presented in this paper was supported in part by the (Romanian) DAK project Contract 161/15.06.2010, NSF grant CCF-1218605, the NSA grant H98230-10-C-0294, the DARPA HACMS program as SRI subcontract 19-000222, and the Rockwell Collins contract 4504813093. We would like to also thank the anonymous reviewers for their in-depth comments and suggestions.
PY - 2014/6/10
Y1 - 2014/6/10
N2 - 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.
AB - 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.
KW - Theory and formal methods
KW - programming language design
UR - http://www.scopus.com/inward/record.url?scp=84901773226&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84901773226&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2014.05.003
DO - 10.1016/j.entcs.2014.05.003
M3 - Article
AN - SCOPUS:84901773226
SN - 1571-0661
VL - 304
SP - 57
EP - 80
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
ER -