Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C
- 1 January 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 312-319
- https://doi.org/10.1145/343647.343788
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- FRIDGE: a fixed-point design and simulation environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hardware synthesis from C/C++Published by Association for Computing Machinery (ACM) ,1999
- Hardware synthesis from C/C++ modelsPublished by Association for Computing Machinery (ACM) ,1999
- C-based synthesis experiences with a behavior synthesizer, “cyber”Published by Association for Computing Machinery (ACM) ,1999
- SpC: synthesis of pointers in CPublished by Association for Computing Machinery (ACM) ,1998
- Transforming set data types to power optimal data structuresIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
- Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in CPublished by Association for Computing Machinery (ACM) ,1996
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995
- SUIFACM SIGPLAN Notices, 1994
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994