Executing Formal Semantics with the K Tool

From FSL
Revision as of 22:18, 11 June 2012 by Lazar6 (Talk | contribs)

Jump to: navigation, search


Executing Formal Semantics with the K Tool
David Lazar, Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu and Grigore Rosu
FM'12, LNCS 7436, pp 267-271. 2012
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.
PDF, Slides(PDF), FM'12, DBLP, BIB

Personal tools