K tool swMATH ID: 9746 Software Authors: David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu Description: 𝕂 framework distilled. 𝕂 is a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined using configurations, computations and rules. Configurations organize the state in units called cells, which are labeled and can be nested. Computations are special nested list structures sequentializing computational tasks, such as fragments of program. 𝕂 (rewrite) rules make it explicit which parts of the term they read-only, write-only, read-write, or do not care about. This makes 𝕂 suitable for defining truly concurrent languages even in the presence of sharing. Computations are like any other terms in a rewriting environment: they can be matched, moved from one place to another, modified, or deleted. This makes 𝕂 suitable for defining control-intensive features such as abrupt termination, exceptions or call/cc. This paper presents an overview of 𝕂 Framework and the 𝕂 Tool, focusing on the interaction between the 𝕂 Tool and Maude. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-34005-5_3 Related Software: K Prover; Maude; PLT Redex; z3; K-Maude; MMT; KOOL; K-Java; Java+ITP; Dist-Orc; MOMENT2; ITP/OCL; JavaFAN; Coq; Toolchain; Centaur; vlogsl; PVeStA; PMaude; Ptolemy Cited in: 17 Documents Standard Articles 2 Publications describing the Software Year \(\mathbb{K}\) framework distilled Lucanu, Dorel; Şerbănuţă, Traian Florin; Roşu, Grigore 2012 Executing formal semantics with the \(\mathbb K\) tool Lazar, David; Arusoaie, Andrei; Şerbǎnuţǎ, Traian Florin; Ellison, Chucky; Mereuta, Radu; Lucanu, Dorel; Roşu, Grigore 2012 all top 5 Cited by 35 Authors 6 Roşu, Grigore 4 Lucanu, Dorel 4 Meseguer Guaita, José 3 Arusoaie, Andrei 3 Rusu, Vlad 3 Şerbănuţă, Traian Florin 2 Ştefănescu, Andrei 1 Asăvoae, Irina Măriuca 1 Biernacka, Małgorzata 1 Bonsangue, Marcello Maria 1 Charatonik, Witold 1 Cheney, James 1 Chira, Camelia 1 Ciobâcă, Ştefan 1 de Boer, Frank S. 1 Ellison, Chucky 1 Guan, Zhichao 1 Haustermann, Michael 1 Hu, Zhenjiang 1 Mereuta, Radu 1 Moldt, Daniel 1 Momigliano, Alberto 1 Moore, Brandon M. 1 Mosteller, David 1 Muñoz, César A. 1 Nowak, David E. 1 Pfenning, Frank 1 Rocha, Camilo 1 Rot, Jurriaan 1 Schulte, Wolfram 1 Simmons, Robert jun. 1 Ştefănescu, Gheorghe 1 Xiao, Yushuo 1 Yang, Ziyi 1 Zielińska, Klara all top 5 Cited in 7 Serials 2 The Journal of Logic and Algebraic Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Information and Computation 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science Cited in 3 Fields 17 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year