Browse Graduate Dissertations and Theses at Illinois by Subject "K Framework"

  • Saxena, Manasvi (2018-07-17)
    This works presents the K debugger - a language independent program debugger. The debugger is a part of the suite of tools that form the K framework. Conventional language dependent debuggers rely on an ad-hoc model of the ...

    application/pdf

    application/pdfPDF (353kB)
  • Miranti, Andrew (2020-05-12)
    In this paper we address the motivations, problems and challenges involved in formally specifying low level programming languages. We utilize the K programming language specification framework to build executable models ...

    application/pdf

    application/pdfPDF (259kB)
  • Kasampalis, Theodoros (2021-04-13)
    Modern optimizing compilers such as LLVM and GCC are huge and complex, and mature releases routinely have uncaught bugs. Beyond harm to software development, the lack of formal correctness guarantees for the compilation ...

    application/pdf

    application/pdfPDF (5MB)