异常的语义

【文件属性】：

文件名称：异常的语义

文件大小：256KB

文件格式：PDF

更新时间：2018-10-04 03:45:56

semantics exceptions

给出了一种程序异常的严格语义（操作语义及指称语义)