Browse Dept. of Computer Science by Subject "K framework, formal semantics, Isabelle"
Now showing items 1-1 of 1
(2018-06-25)K (Roşu and Şerbănuţă, 2010) is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be de ned using con gurations, computations and rules. In this paper ...