We present a survey of control-flow analysis of functional programs, which has been the
subject of extensive investigation throughout the past 30 years. Analyses of the control flow …

Program analysis concerns static techniques for computing reliable approximate information
about the dynamic behaviour of programs. Applications include compilers (for code …

Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …

In order to contribute to the solution of the software reliability problem, tools have been
designed to analyze statically the run-time behavior of programs. Because the correctness …

This paper given an introduction to using set constraints to specify program analyses.
Several standard analysis problems are formulated using set constraints, which serves both …

The reliability and correctness of complex software systems can be significantly enhanced
through well-defined specifications that dictate the use of various units of abstraction (eg …

We construct program analyses by abstract interpretation of a collecting semantics where
abstract properties are coded using tuples of formal languages. A further approximation is to …

We show the interconvertibility of context-free-language reachability problems and a class of
set-constraint problems: given a context-free-language reachability problem, we show how …

Flow-based safety analysis of higher-order languages has been studied by Shivers, and
Palsberg and Schwartzbach. Open until now is the problem of finding a type system that …

Defining the collecting semantics is usually the first crucial step in adapting the general
methodology of abstract interpretation to the semantic framework or programming language …