- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
- →
- Research and Tech Reports - Computer Science
- →
- Browse Research and Tech Reports - Computer Science by Subject
Browse Research and Tech Reports - Computer Science by Subject "C"
Now showing items 1-2 of 2
-
(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
PDF (701kB)
-
(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
PDF (591kB)
Now showing items 1-2 of 2