SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C.

Luc Smria, Giovanni De Micheli

Browse the full ICCAD paper archive.