Safety analysis versus type inference

DOI10.1006/inco.1995.1058zbMath0941.68831OpenAlexW2068711880MaRDI QIDQ1891140

Jens Palsberg, Michael I. Schwartzbach

Publication date: 27 June 2000

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/5a321d9be4f5d8272109e6b0d9f89b8f321f4a4a

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (4)

Comparing flow-based binding-time analyses ⋮ Control-flow analysis of function calls and returns by abstract interpretation ⋮ Safety analysis versus type inference for partial types ⋮ A cost-effective estimation of uncaught exceptions in Standard ML programs

This page was built for publication: Safety analysis versus type inference