Browse Research and Tech Reports - Computer Science by Subject "c semantics undefinedness undefined"

  • Ellison, Chucky M.; Rosu, Grigore (2012-04-27)
    This paper investigates undefined behavior in C and offers a few simple techniques for operationally specifying such behavior formally. A semantics-based undefinedness checker for C is developed using these techniques, as ...


    application/pdfPDF (257kB)