Program analysis using mixed term and set constraints
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 114-126
- https://doi.org/10.1007/bfb0032737
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Solving systems of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Inclusion constraints over non-empty sets of treesPublished by Springer Nature ,1997
- Catching bugs in the web of program invariantsPublished 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
- Global tagging optimization by type inferencePublished by Association for Computing Machinery (ACM) ,1992
- Algebraic reconstruction of types and effectsPublished by Association for Computing Machinery (ACM) ,1991
- Efficient type inference for higher-order binding-time analysisPublished by Springer Nature ,1991