Browse Dissertations and Theses - Computer Science by Author "Abir, Michael"

  • Abir, Michael (2020-05-14)
    In this thesis, we further develop part of the K framework, a framework for specifying and executing the formal semantics of languages. We dive into the LLVM backend, one of the engines for concrete execution, and implement ...


    application/pdfPDF (697kB)