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 ...