A

AbstractTransformation

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)