LCLint
- 1 December 1994
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Interprocedural static analysis of sequencing constraintsACM Transactions on Software Engineering and Methodology, 1992
- The logic of propagation in the inscape environmentPublished by Association for Computing Machinery (ACM) ,1989
- Adding data abstraction to Fortran softwareIEEE Software, 1988
- Omega—A Data Flow Analysis Tool for the C Programming LanguageIEEE Transactions on Software Engineering, 1985
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- Types are not setsPublished by Association for Computing Machinery (ACM) ,1973