Browsing College of Engineering (MU) by Identifier "1099182749"
Now showing items 1-1 of 1
-
Defining the undefinedness of C11 : practical semantics-based program analysis
(University of Missouri--Columbia, 2017)[ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT AUTHOR'S REQUEST.] This thesis extends the work of Ellison and Ros,u [13, 12] but focuses on the "negative" semantics of the C11 language--the semantics required to not ...