The Higher-Order Flow Analysis Forum
The HOFA forum is an email forum for the discussion and dissemination
of research results in the area of higher-order flow analysis, broadly
construed, within computer science and related disciplines. Flow
analysis and related static analyses are a fundamental tool for
program verification, bug detection, compiler optimization, program
understanding, and software maintenance. The HOFA forum aims to
facilitate theoretical, practical, and application advances in the
area of functional, object-oriented, concurrent, distributed, and
mobile programming.