Projecting programs on specifications: Definition and implications

Jules Desharnais; Nafi Diallo; Wided Ghardallou; Ali Mili

首页> 外文期刊>Science of Computer Programming >Projecting programs on specifications: Definition and implications

【24h】

Projecting programs on specifications: Definition and implications

机译：关于规格的计划计划：定义和含义

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Given a specification R, it is common for a candidate program P to be doing more than R requires; this is not necessarily bad, and is often unavoidable, due to programming language constraints or to otherwise sensible design decisions. In this paper, we introduce a relational operator that captures, for a given specification R and candidate program P, the functionality delivered by P that is relevant to R. This operator, which we call the projection of P over R (for reasons we explain), has a number of interesting properties, which we explore in this paper.

机译：给定一个规范R，通常候选程序P的性能超出R的要求。由于编程语言的限制或其他明智的设计决策，这不一定是坏的，并且通常是不可避免的。在本文中，我们介绍了一个关系运算符，它针对给定的规范R和候选程序P捕获了P传递的与R相关的功能。该运算符称为P在R上的投影（出于解释的原因））具有许多有趣的属性，我们将在本文中进行探讨。

著录项

来源
《Science of Computer Programming》 |2017年第may1期|26-48|共23页
作者
Jules Desharnais; Nafi Diallo; Wided Ghardallou; Ali Mili;
展开▼
作者单位

Departement d'informatique et de genie logiciel, Universite Laval, Quebec, Canada;

New Jersey Institute of Technology, Newark, NJ, United States;

Faculte des Sciences de Tunis, El Manor, Tunisia;

New Jersey Institute of Technology, Newark, NJ, United States;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
absolute correctness; relative correctness; refinement; projection; lattices;

机译：绝对正确;相对正确性;细化投影;晶格;

相似文献

外文文献
中文文献
专利

1. Implications of country-level decisions on the specification of crown cover in the definition of forests for land area eligible for afforestation and reforestation activities in the CDM. [J] . Verchot L V, Zomer R, Straaten O van, Climatic Change . 2007,第3a4期

机译：国家一级关于树冠覆盖规格的决定对清洁发展机制中有资格进行造林和再造林活动的土地面积的森林定义的影响。
2. Implications of Country-Level Decisions on the Specification of Crown Cover in the Definition of Forests for Land Area Eligible for Afforestation and Reforestation Activities in the CDM [J] . Louis V. Verchot, Robert Zomer, Oliver Van Straaten, Climatic Change . 2007,第3a4期

机译：关于清洁发展机制中有资格进行造林和再造林活动的土地面积的森林定义中关于树冠覆盖规格的国家级决定的含义
3. Measuring the impact of varying denominator definitions on standardized antibiotic consumption rates: implications for antinnicrobial stewardship programmes [J] . Avedissian Sean N., Scheetz Marc H., Zembower Teresa R., The Journal of Antimicrobial Chemotherapy . 2018,第10期

机译：测量不同分母定义对标准化抗生素消费率的影响：对抗抗动杆菌管理计划的影响
4. DEVELOPMENT OF A CO_2 SPECIFICATION FOR A CCS HUB NETWORK: THE IMPLICATIONS FOR CO_2 CAPTURE PROJECTS FOR CLEAN COAL TECHNOLOGIES [C] . Trent Harkin, Ian Filbv, Heidi Sick, Clearwater clean coal conference;International technical conference on clean coal fuel systems . 2016

机译：CCS集线器网络的CO_2规范的开发：对清洁煤技术的CO_2捕获项目的影响
5. The development of purpose in the project definition phase of construction projects: Implications for project management. [D] . Whelton, Michael Gerard. 2004

机译：建设项目的项目定义阶段目的的发展：对项目管理的影响。
6. Retention‐in‐care in the PMTCT cascade: definitions matter! Analyses from the INSPIRE projects in Malawi Nigeria and Zimbabwe [O] . Helene Font, Nigel Rollins, Shaffiq Essajee, 2020

机译：PMTCT级联的保留保留：定义问题！从马拉维尼日利亚和津巴布韦的激发项目分析
7. EC 6th Framework Project ‘VIDE’ (Visual Model Driven Programming), Contract No. 033606. Visual user interfaces for model-driven programming – Evaluation of tools, method definition and design specification for VIDE. Technical Report D5.1 [O] . Jeary Sherry, Kanyaru J.M., Coles M., 2008

机译：EC 6th Framework项目“ VIDE”（可视模型驱动编程），合同号033606。用于模型驱动编程的可视用户界面–评估VIDE的工具，方法定义和设计规范。技术报告D5.1
8. Optimal Conventional and Semi-Natural Treatments for the Upper Yakima Spring Chinook Salmon Supplementation Project; Treatment Definitions and Descriptions and Biological Specifications for Facility Design, 1995-1999 Final Report. [R] . 1999

机译：上亚基马春季奇努克三文鱼补充项目的最佳常规和半自然处理;设施设计的处理定义和描述以及生物规范，1995-1999最终报告。

Projecting programs on specifications: Definition and implications

摘要

著录项

相似文献

相关主题

期刊订阅