Browse Dept. of 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)
  • Ellison, Charles (2012-09-18)
    This dissertation shows that complex, real programming languages can be completely formalized in the K Framework, yielding interpreters and analysis tools for testing and bug detection. This is demonstrated by providing, ...

    application/pdf

    application/pdfPDF (4MB)
  • Guth, Dwight (2013-08-22)
    This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...

    application/pdf

    application/pdfPDF (220kB)