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

Luc Séméria Giovanni De Micheli

Published in: ICCAD (1998)

Keyphrases

automatic analysis
real time
program synthesis
real world
artificial intelligence
decision making
design space exploration
functional programs