Browse College of Engineering 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.; 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/pdf

    application/pdfPDF (591kB)
  • Chang, Pohua P.; Mahlke, Scott A.; Hwu, Wen-mei W. (Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1991-04)

    application/pdf

    application/pdfPDF (19MB)