Purity
Pure (i.e. side-effect-free) constructs.
We define predicates over ASTs that say whether
the ASTs are pure, i.e. without side effects.
Subtopics
- Abstract-syntax-purep
- Definition of the predicates that check whether
the abstract syntax is pure, i.e. without side effects.
