most citedInferring Region Types via an Abstract Notion of Environment Transformation

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2022★ 1 cited

Inferring Region Types via an Abstract Notion of Environment Transformation

Ulrich Schöpp, Chuangjie Xu

Region-based type systems are a powerful tool for various kinds of program analysis. We introduce a new inference algorithm for region types based on an abstract notion of environm…