Browse Graduate Dissertations and Theses at Illinois by Author "Guth, Dwight"

  • Guth, Dwight (2013-08-22)
    This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...

    application/pdf

    application/pdfPDF (220kB)