Browse Research and Tech Reports - Computer Science by Subject "C programming language"

  • Ellison, Chucky M.; Rosu, Grigore (2011-11-22)
    This paper describes an executable formal semantics of C expressed using a formalism based on term rewriting. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully ...


    application/pdfPDF (591kB)