Browse Dept. of Computer Science by Subject "K Framework"
Now showing items 1-1 of 1
(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 ...