Browsing College of Engineering (MU) by Title "Defining the undefinedness of C11 : practical semantics-based program analysis"
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 ...