Browsing Computer Science Theses and Dissertations by Subject "floating-point arithmetic"

Navigation

Now showing items 1-1 of 1

When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs

Pollard, Samuel (University of Oregon, 2021-09-13)

This dissertation is about verifying the correctness of low-level computer programs.This is challenging because low-level programs by definition cannot use many useful abstractions of computer science. Features of high-level ...