Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)

Using abstract interpretation to define a strictness type inference system

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Program analysis: the abstract interpretation perspective

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Making abstract interpretations complete

Journal of the ACM (JACM)

Verification of Embedded Software: Problems and Perspectives

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

Modular Static Program Analysis

CC '02 Proceedings of the 11th International Conference on Compiler Construction