Efficient abstract interpretation using component-wise homomorphisms

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers

Projections for strictness analysis

Proc. of a conference on Functional programming languages and computer architecture

Finding fixed points in finite lattices

Proc. of a conference on Functional programming languages and computer architecture

Abstract interpretation of declarative languages

Abstract interpretation of declarative languages

Higher order escape analysis: optimizing stack allocation in functional program implementations

Proceedings of the third European symposium on programming on ESOP '90

Lazy functional languages: abstract interpretation and compilation

Lazy functional languages: abstract interpretation and compilation

Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Bounded fixed point iteration

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Proceedings of the Functional Programming Languages and Computer Architecture

Proceedings of the Functional Programming Languages and Computer Architecture