Browse Dissertations and Theses - Computer Science by Author "Park, Daejun"

  • Park, Daejun (2019-04-09)
    We present language-independent formal methods that are parameterized by the operational semantics of languages. We provide the theory, implementation, and extensive evaluation of the language-parametric formal methods. ...

    application/pdf

    application/pdfPDF (1MB)