Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs Export

@inproceedings{citeulike:915737, abstract = {. We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. This analysis will predict abrupt termination of SML programs, which is SML's only one \"safety hole.\" Even though SML program's control flow and exception flow are in general mutually dependent, analyzing the two flows are safely decoupled. Program's control-flow is firstly estimated from a set of equations defined by simple case analysis of call...}, author = {Yi, Kwangkeun and Ryu, Sukyoung}, booktitle = {Static Analysis Symposium}, citeulike-article-id = {915737}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2643}, keywords = {control, exception-analysis, exceptions, return}, pages = {98--113}, posted-at = {2006-10-28 10:49:33}, priority = {2}, title = {Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2643}, year = {1997} }

TY - CONF ID - citeulike:915737 L3 - citeulike-article-id:915737 N2 - . We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. This analysis will predict abrupt termination of SML programs, which is SML's only one "safety hole." Even though SML program's control flow and exception flow are in general mutually dependent, analyzing the two flows are safely decoupled. Program's control-flow is firstly estimated from a set of equations defined by simple case analysis of call... EP - 113 TI - Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs T2 - Static Analysis Symposium SP - 98 KW - control KW - exception-analysis KW - exceptions KW - return AU - Yi, Kwangkeun AU - Ryu, Sukyoung PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2643 ER -