Browse Research and Tech Reports - Computer Science by Subject "K framework"

  • Chen, Xiaohong; Rosu, Grigore (2019-07-31)
    This paper proposes a logic for programming languages, which is both simple and expressive, to serve as a foundation for language semantics frameworks. Matching mu-logic has been recently proposed as a unifying foundation ...

    application/pdf

    application/pdfPDF (966kB)