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)