首页> 外文OA文献 >Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury

【2h】

Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury

机译：通过约束解决方案进行绑定时间分析：一种针对汞的模块化高阶方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

status: published

机译：状态：已发布

著录项

作者
Vanhoof Wim;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Temporal Logic Approach to Binding-Time Analysis [J] . ROWAN DAVIES Journal of the Association for Computing Machinery . 2017,第1期

机译：绑定时间分析的时间逻辑方法
2. Alloy*: a general-purpose higher-order relational constraint solver [J] . Milicevic Aleksandar, Near Joseph P., Kang Eunsuk, Formal Methods in System Design . 2019,第1期

机译：合金*：通用高阶关系约束求解器
3. An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving [J] . IEEE Transactions on Software Engineering . 2020,第2期

机译：通过安全切片和混合约束解决方案对Web应用程序进行有效注入漏洞分析的集成方法
4. Binding-time analysis by constraint solving a modular and higher-order approach for mercury [C] . Wim Vanhoof International conference on logic for programming and automated reasoning . 2000

机译：通过约束解决模块化和高阶法的汞粘合时间分析
5. Solving the combined modular product scheduling and production cell reconfiguration problem: A genetic algorithm approach with parallel chromosome coding. [D] . Ye, Hegui. 2005

机译：解决组合的模块化产品计划和生产单元重构问题：具有并行染色体编码的遗传算法。
6. A constraint solving approach to model reduction by tropical equilibration [O] . Sylvain Soliman, François Fages, Ovidiu Radulescu 2014

机译：一种通过热带平衡简化模型的约束求解方法
7. Towards a modular binding-time analysis for higher-order Mercury [O] . Vanhoof Wim, Bruynooghe Maurice 2000

机译：迈向高阶汞的模块化结合时间分析

Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅