Browse Dept. of Computer Science 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)