NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"programming languages, rewriting-based execution, optimization"”.

  1. Closing the gap in the LLVM backend of K

    Abir, MichaelUniversity of Illinois at Urbana-Champaign2020

    … specifying and executing the formal semantics of languages. We dive into the LLVM backend, one of the engines for concrete execution, and implement key functionality that is present in the other concrete execution engine. We then add a new interface that is unique to the LLVM backend, making this …

    uiuc Repository record