A constraint-based region inference algorithm
From MaRDI portal
Publication:5941200
DOI10.1016/S0304-3975(00)00025-6zbMath0974.68078MaRDI QIDQ5941200
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (4)
Dynamic state restoration using versioning exceptions ⋮ HM(X) type inference is CLP(X) solving ⋮ Region Analysis for Race Detection ⋮ Syntactic type soundness results for the region calculus
Uses Software
Cites Work
This page was built for publication: A constraint-based region inference algorithm