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

  • Ellison, Chucky M.; Rosu, Grigore (2011-07-17)
    This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 770 of 776 test programs. It is the most ...

    application/pdf

    application/pdfPDF (701Kb)
  • Ellison, Chucky M.; Roşu, 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/pdf

    application/pdfPDF (591Kb)