• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Automated Technology for Verification and Analysis(ATVA 2005); 20051004-07; Taibei(CT) >Approximate Reachability for Dead Code Elimination in Esterel
【24h】

Approximate Reachability for Dead Code Elimination in Esterel

机译：Esterel中消除死代码的近似可达性

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel~* extends Esterel with a non-instantaneous jump instruction (compatible with concurrency, preemption, etc.) so as to enable powerful source-to-source program transformations, amenable to formal verification. In this work, we propose an approximate reachability algorithm for Esterel~* and use its output to remove dead code. We prove the correctness of our techniques.
机译：Esterel是用于反应系统设计的命令式同步编程语言。 Esterel〜*通过非瞬时跳转指令（与并发，抢占等兼容）扩展了Esterel，从而实现了功能强大的源到源程序转换，可进行形式验证。在这项工作中，我们为Esterel〜*提出了一种近似的可达性算法，并使用其输出来删除无效代码。我们证明了我们技术的正确性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号