Browse Graduate Dissertations and Theses at Illinois by Subject "K framework"
Now showing items 1-2 of 2
(2012-09-18)This dissertation shows that complex, real programming languages can be completely formalized in the K Framework, yielding interpreters and analysis tools for testing and bug detection. This is demonstrated by providing, ...
(2013-08-22)This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...