首页> 外文期刊>Science of Computer Programming >Correctness of on-line partial evaluation for a Pascal-like language
【24h】

Correctness of on-line partial evaluation for a Pascal-like language

机译:类似于Pascal的语言的在线部分评估的正确性

获取原文
获取原文并翻译 | 示例
       

摘要

An on-line partial evaluator for an imperative language is formally defined and proven to be correct. As far as we know, this is the first correctness proof of an on-line partial evaluator. The proof consists of several lemmata showing the correctness of partial evaluation of expression and the invariance of certain properties of the environments under partial/residual and total evaluation. The language the partial evaluator is based on contains functions as well as procedures with value, result, and reference parameters and side-effects.
机译:正式定义了命令式语言的在线部分评估程序,并证明它是正确的。据我们所知,这是在线局部评估器的第一个正确性证明。该证明由几个引理组成,这些引理表明对表达的部分评估的正确性以及在部分/残差和总体评估下环境某些属性的不变性。局部评估者所基于的语言包含函数以及带有值,结果,参考参数和副作用的过程。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号