Deriving specialized program analyses for certifying component-client conformance
- 17 May 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Finding bugs with a constraint solverPublished by Association for Computing Machinery (ACM) ,2000
- Making abstract interpretations completeJournal of the ACM, 2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Model Checking Guided Abstraction and AnalysisPublished by Springer Nature ,2000
- TVLA: A System for Implementing Static AnalysesPublished by Springer Nature ,2000
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979