TY - GEN
T1 - Executing Formal Semantics with the double-struck K Tool
AU - Lazar, David
AU - Arusoaie, Andrei
AU - Şerbǎnuţǎ, Traian Florin
AU - Ellison, Chucky
AU - Mereuta, Radu
AU - Lucanu, Dorel
AU - Roşu, Grigore
PY - 2012
Y1 - 2012
N2 - This paper describes the double-struck K Tool, a system for formally defining programming languages. Formal definitions created using the double-struck K Tool automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer. The modularity of double-struck K and the design of the tool allow one semantics to be used for several applications.
AB - This paper describes the double-struck K Tool, a system for formally defining programming languages. Formal definitions created using the double-struck K Tool automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer. The modularity of double-struck K and the design of the tool allow one semantics to be used for several applications.
UR - http://www.scopus.com/inward/record.url?scp=84865956869&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84865956869&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-32759-9_23
DO - 10.1007/978-3-642-32759-9_23
M3 - Conference contribution
AN - SCOPUS:84865956869
SN - 9783642327582
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 267
EP - 271
BT - FM 2012
T2 - 18th International Symposium on Formal Methods, FM 2012
Y2 - 27 August 2012 through 31 August 2012
ER -