Extracting and optimizing low-level bytecode from high-level verified Coq

This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.

Bibliographic Details
Main Author:	Ioannidis, Eleftherios Ioannis.
Other Authors:	Frans Kaashoek and Nickolai Zeldovich.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2019
Subjects:	Electrical Engineering and Computer Science.
Online Access:	https://hdl.handle.net/1721.1/121675

Internet

https://hdl.handle.net/1721.1/121675