A toolkit for constructing type- and constraint-based program analyses
- 1 January 1998
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- A flexible architecture for building data flow analyzersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Partial online cycle elimination in inclusion constraint graphsPublished by Association for Computing Machinery (ACM) ,1998
- Code reuse in an optimizing compilerPublished by Association for Computing Machinery (ACM) ,1996
- Catching bugs in the web of program invariantsPublished by Association for Computing Machinery (ACM) ,1996
- Sound polymorphic type inference for objectsPublished by Association for Computing Machinery (ACM) ,1995
- Generation of efficient interprocedural analyzers with PAGLecture Notes in Computer Science, 1995
- Set-based analysis of ML programsPublished by Association for Computing Machinery (ACM) ,1994
- Soft typing with conditional typesPublished by Association for Computing Machinery (ACM) ,1994
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Global common subexpression eliminationACM SIGPLAN Notices, 1970