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)
68Q42: Grammars and rewriting systems
Related Items
HM(X) type inference is CLP(X) solving, Dynamic state restoration using versioning exceptions, Syntactic type soundness results for the region calculus, Region Analysis for Race Detection
Uses Software
Cites Work