Difference between revisions of "Executing Formal Semantics with the K Tool"

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
 
== FM'12 ==
 
== FM'12 ==
<pub id='lazar-arusoaie-serbanuta-ellison-mereuta-lucanu-rosu-2012-fm' template='PubDefaultWithAbstractAndTitle'/><private>
+
<pubbib id='lazar-arusoaie-serbanuta-ellison-mereuta-lucanu-rosu-2012-fm' template='PubDefaultWithAbstractAndTitle'/>
 
== Submitted to FM'12 ==
 
== Submitted to FM'12 ==
 
<pub id='lazar-arusoaie-serbanuta-ellison-lucanu-rosu-2012-fm-submission' template='PubDefaultWithAbstractAndTitle'/></private>
 
<pub id='lazar-arusoaie-serbanuta-ellison-lucanu-rosu-2012-fm-submission' template='PubDefaultWithAbstractAndTitle'/></private>

Latest revision as of 19:37, 25 February 2016

[edit] FM'12

Executing Formal Semantics with the K Tool
David Lazar and Andrei Arusoaie and Traian Florin Serbanuta and Chucky Ellison and Radu Mereuta and 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), K, DOI, FM'12, BIB

[edit] Submitted to FM'12

</private>

Personal tools
Namespaces

Variants
Actions
Navigation