Executing Formal Semantics with the \(\mathbb K\) Tool
This paper describes the \(\mathbb K\) Tool, a system for formally defining programming languages. Formal definitions created using the \(\mathbb K\) Tool automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer. The modularity of \(\mathbb K\) and the design of the tool allow one semantics to be used for several applications.
Unable to display preview. Download preview PDF.
- 3.Şerbănuţă, T.F., Arusoaie, A., Lazar, D., Ellison, C., Lucanu, D., Roşu, G.: The K primer (version 2.5). In: Proceedings of the 2nd Intl. K Wkshp. (K 2011). Electronic Notes in Theoretical Computer Science (to appear, 2012)Google Scholar