Export Citations
1 Results for: Keyword: Region Inference
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,784,759 records)|Limit your search to The ACM Full-Text Collection (765,863 records)
Parallelism in a Region Inference Context
Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue PLDIArticle No.: 142, Pages 884–906https://doi.org/10.1145/3591256Region inference is a type-based program analysis that takes a non-annotated program as input and constructs a program that explicitly manages memory allocation and deallocation by dividing the heap into a stack of regions, each of which can grow and ...