Browse Dissertations and Theses - Computer Science by Author "Ellison, Chucky M."

  • Ellison, Chucky M. (2008)
    We show how programming language semantics and definitions of their corresponding type systems can both be written in a single framework amenable to proofs of soundness. The framework is based on full rewriting logic (not ...

    application/pdf

    application/pdfPDF (532kB)