Physical type checking for C
- 1 September 1999
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 24 (5), 66-75
- https://doi.org/10.1145/381788.316183
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