Browse Graduate Dissertations and Theses at Illinois by Subject "K Framework"
Now showing items 1-2 of 2
(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 ...
(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 ...