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