检索结果-内蒙古大学图书馆

Functionally-Generalised MOQA operations

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2009年第C期225卷 421-439页

作者： Vallee, Thierry Georgia Southern Univ Dept Math Sci Statesboro GA 30460 USA

The programming language MOQA was designed by Michel Schellekens in [5,7] specifically to facilitate the average execution time analysis of its programs. MOQA is based on a special data structure and an associated suite of operations. This special data structure, said here as labeled partial orders (lpo), is a pair (P, l) such that P = (X, E) is a poset andl : X -> L a strictly increasing bijection between X and a totally ordered set L. MOQA basic operations are defined on lpo's under some restrictions. These restrictions guarantee the main property of MOQA's operations, said here as Automatic Random Preservation. Random Preservation (RP) is a fundamental property used to calculate the average time of programs, opening the way to a (semi-)automation of this calculation in MOQA. In the paper, we introduce functionally-generalised versions of some MOQA basic operations. Those versions are defined with more natural restrictions and in a more general way than the correspondent MOQA operations. As a consequence of their greater generality, they are not RP on all their domains in contrast to MOQA operations. Nevertheless, they have two good properties. The first one is that they have the intended semantics. For instance, the generalised split actually splits any lpo into two parts using a label as a pivot. The second one is that the subdomains on which they are RP are strictly bigger than the domains where MOQA basic operations are defined and RP. A tractable characterisation of those RP subdomains is an open problem and its solution would be an important step toward an implementation of the functionally-generalised operations as Automatic RP operations.

关键词： Posets Average Execution Time Program Semantics data structure operations

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：