Executing Formal Semantics with the K Tool
暂无分享,去创建一个
Chucky Ellison | Grigore Rosu | Dorel Lucanu | Traian-Florin Serbanuta | Andrei Arusoaie | David Lazar | Radu Mereuta
[1] Dorel Lucanu,et al. The K Primer (version 2.5) , 2012 .
[2] Grigore Rosu,et al. An overview of the K semantic framework , 2010, J. Log. Algebraic Methods Program..
[3] Grigore Rosu,et al. K-Maude: A Rewriting Based Tool for Semantics of Programming Languages , 2010, WRLA.