A differential approach to undefined behavior detection

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.

Bibliographic Details
Main Author: Wang, Xi, Ph. D. Massachusetts Institute of Technology
Other Authors: M. Frans Kaashoek and Nickolai Zeldovich.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2015
Subjects:
Online Access:http://hdl.handle.net/1721.1/93071