Partial online cycle elimination in inclusion constraint graphs
- 1 May 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- A practical subtyping system for ErlangPublished by Association for Computing Machinery (ACM) ,1997
- Linear-time subtransitive control flow analysisPublished by Association for Computing Machinery (ACM) ,1997
- Componential set-based analysisPublished by Association for Computing Machinery (ACM) ,1997
- Catching bugs in the web of program invariantsPublished by Association for Computing Machinery (ACM) ,1996
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- 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
- Control flow analysis in schemePublished by Association for Computing Machinery (ACM) ,1988
- Flow analysis and optimization of LISP-like structuresPublished by Association for Computing Machinery (ACM) ,1979