Physical type checking for C
- 1 September 1999
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Pointer analysis for programs with structures and castingPublished by Association for Computing Machinery (ACM) ,1999
- Aggregate structure identification and its application to program analysisPublished by Association for Computing Machinery (ACM) ,1999
- Fast and accurate flow-insensitive points-to analysisPublished by Association for Computing Machinery (ACM) ,1997
- Program generalization for software reusePublished by Association for Computing Machinery (ACM) ,1996
- Program decomposition for pointer aliasingPublished by Association for Computing Machinery (ACM) ,1996
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995