Browse Dept. of Computer Science by Subject "K framework, formal semantics, Isabelle"

  • Li, Liyi; Gunter, Elsa L. (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 ...


    application/pdfPDF (724kB)