搜索结果: 1-2 共查到“程序设计及其语言 Presence”相关记录2条 . 查询时间(0.325 秒)
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
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...