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. © 2012 Springer-Verlag.
CITATION STYLE
Lazar, D., Arusoaie, A., Şerbǎnuţǎ, T. F., Ellison, C., Mereuta, R., Lucanu, D., & Roşu, G. (2012). Executing Formal Semantics with the double-struck K Tool. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7436 LNCS, pp. 267–271). https://doi.org/10.1007/978-3-642-32759-9_23
Mendeley helps you to discover research relevant for your work.