An abstract interpretation for estimating uncaught exceptions in Standard ML programs

DOI10.1016/S0167-6423(96)00044-5zbMath0941.68022MaRDI QIDQ1818315

Kwangkeun Yi

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

static analysisSML programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Implicitly threaded parallelism in Manticore

This page was built for publication: An abstract interpretation for estimating uncaught exceptions in Standard ML programs