首页> 外文OA文献 >Safety of Strictness Analysis via Term Graph Rewriting

【2h】

Safety of Strictness Analysis via Term Graph Rewriting

机译：通过术语图重写进行严格性分析的安全性

页面导航

著录项
相似文献
相关主题

著录项

作者
David Clark; Chris Hankin Sebastian Hunt;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Implementing conditional term rewriting by graph rewriting [J] . Ohlebusch E. Theoretical computer science . 2001,第1a2期

机译：通过图重写实现条件项重写
2. A rewriting calculus for cyclic higher-order term graphs [J] . PAOLO BALDAN, CLARA BERTOLISSI, HORATIU CIRSTEA, Mathematical structures in computer science . 2007,第3期

机译：循环高阶项图的重写演算
3. Convergence in infinitary term graph rewriting systems is simple [J] . PATRICK BAHR Mathematical structures in computer science . 2018,第8期

机译：不定式术语图重写系统中的收敛很简单
4. Safety of strictness analysis via term graph rewriting [C] . David Clark, Chris Hankin, Sebastian Hunt International Static Analysis Symposium . 2000

机译：通过术语图重写严格分析的安全性
5. Experimental analysis of open-graded asphalt concrete mixes in terms of safety, durability, and noise. [D] . Ongel, Aybike. 2007

机译：在安全性，耐久性和噪音方面对开放级沥青混凝土混合料进行实验分析。
6. Long-Term Efficacy and Safety of Obeticholic Acid in Patients With Primary Biliary Cholangitis: A Demographic Subgroup Analysis of 5-Year Results From the POISE Trial [O] . 2021

机译：原发性胆管炎患者的长期疗效和安全性obeticholic酸：一个人口亚群分析为5年的Poise试验
7. Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk) [O] . Millen J. 2000

机译：术语重写在密码协议分析中的应用（受邀演讲概述）

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号