Cyber & formal methods publications March 1, 2003 Conference Paper

Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Values

SRI International March 1, 2003

Citation

Copy to clipboard

Mario Latendresse. Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Values, in Proc. of the 7th European Conference on Software Maintenance and Reengineering (CSMR), pp. 170-179, Mar 2003.

↓ Download

Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Values

Citation

How can we help?

Once you hit send…

Make your own mark.

Our work

Institute

Careers

Contact

Subscribe to our newsletter