Camfort.Specification.Units.Analysis.Criticals

This module defines an analysis for finding the critical variables in a program. These critical variables form a set of variables that, when given unit annotations, can be used to infer the unit types of all other variables in the program.

Documentation

inferCriticalVariables :: UnitAnalysis Criticals

Infer one possible set of critical variables for a program.