Browse Dept. of Computer Science by Subject "K-Framework"

  • Seo, Seokje (2015-10-20)
    The thesis discusses pre-compiler optimization using rule-based rewriting. Our goal is to facilitate the proof of correctness of the process of program optimization. A source-to-source optimizer based on the proposed ...

    application/pdf

    application/pdfPDF (239kB)