Formal language, grammar and set-constraint-based program analysis by abstract interpretation
- 1 January 1995
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95