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

A Translation-based Approach to the Verification of modular Equivalence

JOURNAL OF LOGIC AND COMPUTATION 2009年第4期19卷 591-613页

作者： Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland

The goal of this article is to foster modular program development in answer set programming using a Gaifman-Shapiro-style module architecture. More specifically, a method for verifying the equivalence of logic program modules is devised and proved correct. The idea is to adapt a translation-based verification technique, which was originally devised for complete programs only, for program modules. In addition, optimization strategies are addressed in order to exploit the modular structure of programs in verification tasks. A number of experiments on verification strategies are also conducted using lpeq which implements the verification method for the smodels system. The preliminary experimental results reported in this article suggest that the modularization of equivalence verification leads to potential time savings especially if the modules involved share a common context.

关键词： Answer set programming modular program development compositionality of stable model semantics module theorem translation-based verification method

来源：评论

学校读者我要写书评

暂无评论

A Translation-based Approach to the Verification of modular Equivalence

A Translation-based Approach to the Verification of Modular ...

引用

4th International Workshop on Answer Set programming

作者： Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland

关键词： Answer set programming modular program development compositionality of stable model semantics module theorem translation-based verification method

来源：评论

学校读者我要写书评

暂无评论

modularising the specification of a small database system in extended ML

引用

Formal Aspects of Computing 1992年第1期4卷 100-142页

作者： Kazmierczak, Edmund Department of Computer Science University of Edinburgh Edinburgh United Kingdom

A case study in the modular specification and refinement of a small database system is presented in Extended ML. Two similar requirements specifications are given and a program development step from each these is presented. The structure resulting from the first program development step is similar to that given in [FiJ90] and is presented as an answer to the challenge problem given in that paper, while the second development step is presented as a possible alternative which is more suited to the Extended ML style of program development. In the context of these two development steps the module facilities of Extended ML, their role in specification and program development and their ability to meet the challenge of [FiJ90] are examined. © 1992 BCS.

关键词： Extended ML modular program development Parameterised programs Parameterised specifications Specification

来源：评论

学校读者我要写书评

暂无评论

Experience with a module package in developing production quality PASCAL programs 6

Experience with a module package in developing production qu...

引用

6th International Conference on Software Engineering, ICSE 1982

作者： Warren, Sally Martin, Bruce E. Hoch, Charles Amdahl Corporation 1250 East Arques Avenue SunnyvaleCA94086 United States

A Module Package (AMP) is a preprocessor to a PASCAL compiler to support data encapsulation and modular system development. Experience with AMP in developing a software product at Amdahl Corporation has demonstrated i... 详细信息

关键词： Data encapsulation Independent compilation modular program development PASCAL Software tools Source code data base UNIXI

来源：评论

学校读者我要写书评

暂无评论

Experience with a Module Package in developing production quality PASCAL programs 82

Experience with a Module Package in developing production qu...

引用

Proceedings of the 6th international conference on Software engineering

作者： Sally Warren Bruce E. Martin Charles Hoch

关键词： PASCAL modular program development UNIX Source code data base Independent compilation Software tools Data encapsulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：