Inferring region types via an abstract notion of environment transformation

DOI10.1007/978-3-031-21037-2_3zbMath1524.68101arXiv2209.02147OpenAlexW4312966311MaRDI QIDQ6176564

Ulrich Schöpp, Chuangjie Xu

Publication date: 25 July 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.02147

zbMATH Keywords

program analysistype inferenceFeatherweight Javaenvironment transformationregion typetype constraint

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Precise interprocedural dataflow analysis with applications to constant propagation
• Verifying pointer and string analyses with region type systems
• Enforcing Programming Guidelines with Region Types and Effects
• Unnamed Item
• Unnamed Item

This page was built for publication: Inferring region types via an abstract notion of environment transformation