搜索结果: 1-2 共查到“程序设计及其语言 Presence”相关记录2条 . 查询时间(0.128 秒)
Program Transformation in the Presence of Errors
Program Transformation Presence Errors
font style='font-size:12px;'>
2016/5/25
A laudable trend of the past two decades has been the increased use of denotational semantics to guide the design and implementation of programming languages.Semantics-driven language design has produ...
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
font style='font-size:12px;'>
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...