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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

5 篇 会议

馆藏范围

5 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4 篇 工学
- 4 篇 计算机科学与技术...
- 4 篇 软件工程
1 篇 理学
- 1 篇 数学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

2 篇 logic programmin...
1 篇 fuzzy logic
1 篇 computer circuit...

机构

1 篇 portcullis compu...
1 篇 technische unive...
1 篇 dsic complutense...
1 篇 clip technical u...
1 篇 universiteit van...
1 篇 universidad poli...

作者

1 篇 gómez-zamalloa m...
1 篇 wielemaker jan
1 篇 ceruelo victor p...
1 篇 munoz-hernandez ...
1 篇 neumerkel ulrich
1 篇 triska markus
1 篇 puebla germán
1 篇 albert elvira
1 篇 strass hannes
1 篇 king andy

语言

5 篇 英文

检索条件"任意字段=18th Workshop on Logic-based methods in Programming Environments, WLPE 2008"

共 5 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

18th workshop on logic-based methods in programming environments, wlpe 2008

18th Workshop on Logic-based methods in Programming Environm...

引用

18th workshop on logic-based methods in programming environments, wlpe 2008

the proceedings contain 9 papers. the special focus in this conference is on logic-based methods and tools. the topics include: Using the tools of logic programming in the security industry;prolog visualization system using logichart diagrams;a semantics-aware editing environment for prolog in eclipse;on the generation of test data for prolog by partial evaluation;improving size-change analysis in offline partial evaluation;a lightweight combination of semantics for non-deterministic functions;Rfuzzy framework;constraint solving for high-level WCET analysis and better termination for prolog with constraints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Relations, constraints and abstractions: Using the tools of logic programming in the security industry

Relations, constraints and abstractions: Using the tools of ...

引用

18th workshop on logic-based methods in programming environments, wlpe 2008

作者： King, Andy Portcullis Computer Security Limited Pinner HA5 2EX United Kingdom

logic programming is sometimes described as relational programming: a paradigm in which the programmer specifies and composes nary relations using systems of constraints. An advanced logic programming environment will provide tools that abstract these relations to transform, optimise, or even verify the correctness of a logic program. this talk will show that these concepts, namely relations, constraints and abstractions, turn out to also be important in the reverse engineer process that underpins the discovery of bugs within the security industry.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Better termination for Prolog with constraints

Better termination for Prolog with constraints

引用

18th workshop on logic-based methods in programming environments, wlpe 2008

作者： Triska, Markus Neumerkel, Ulrich Wielemaker, Jan Technische Universität Wien Austria Universiteit van Amsterdam Netherlands

Termination properties of actual Prolog systems with constraints are fragile and difficult to analyse. the lack of the occurs-check, moded and overloaded arithmetical evaluation via is/2 and the occasional nontermination of finite domain constraints are all sources for invalidating termination results obtained by current termination analysers that rely on idealized assumptions. In this paper, we present solutions to address these problems on the level of the underlying Prolog system. Improved unification modes meet the requirements of norm based analysers by offering dynamic occurs-check detection. A generalized finite domain solver overcomes the shortcomings of conventional arithmetic without significant runtime overhead. the solver offers unbounded domains, yet propagation always terminates. Our work improves Prolog's termination and makes Prolog a more reliable target for termination and type analysis. It is part of SWI-Prolog since version 5.6.50.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Rfuzzy framework

Rfuzzy framework

引用

18th workshop on logic-based methods in programming environments, wlpe 2008

作者： Ceruelo, Victor Pablos Munoz-Hernandez, Susana Strass, Hannes Universidad Politécnica de Madrid Spain

Fuzzy reasoning is a very productive research field that during the last years has provided a number of theoretical approaches and practical implementation prototypes. Nevertheless, the classical implementations, like Fril, are not adapted to the latest formal approaches, like multi-adjoint logic semantics. Some promising implementations, like Fuzzy Prolog, are so general that the regular user/programmer does not feel comfortable because either representation of fuzzy concepts is complex or the results difficult to interpret. In this paper we present a modern framework, Rfuzzy, that is modelling multi-adjoint logic. It provides some extensions as default values (to represent missing information, even partial default values) and typed variables. Rfuzzy represents the truth value of predicates through facts, rules and functions. Rfuzzy answers queries with direct results (instead of constraints) and it is easy to use for any person that wants to represent a problem using fuzzy reasoning in a simple way (by using the classical representation with real numbers).

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

On the generation of test data for Prolog by partial evaluation

On the generation of test data for Prolog by partial evaluat...

引用

18th workshop on logic-based methods in programming environments, wlpe 2008

作者： Gómez-Zamalloa, Miguel Albert, Elvira Puebla, Germán DSIC Complutense University of Madrid E-28040 Madrid Spain CLIP Technical University of Madrid E-28660 Boadilla del Monte Madrid Spain

In recent work, we have proposed an approach to Test Data Generation (TDG) of imperative bytecode by partial evaluation (PE) of CLP which consists in two phases: (1) the bytecode program is first transformed into an equivalent CLP program by means of interpretive compilation by PE, (2) a second PE is performed in order to supervise the generation of test-cases by execution of the CLP decompiled program. the main advantages of TDG by PE include flexibility to handle new coverage criteria, the possibility to obtain test-case generators and its simplicity to be implemented. the approach in principle can be directly applied for TDG of any imperative language. However, when one tries to apply it to a declarative language like Prolog, we have found as a main difficulty the generation of test-cases which cover the more complex control flow of Prolog. Essentially, the problem is that an intrinsic feature of PE is that it only computes non-failing derivations while in TDG for Prolog it is essential to generate test-cases associated to failing computations. Basically, we propose to transform the original Prolog program into an equivalent Prolog program with explicit failure by partially evaluating a Prolog interpreter which captures failing derivations w.r.t. the input program. Another issue that we discuss in the paper is that, while in the case of bytecode the underlying constraint domain only manipulates integers, in Prolog it should properly handle the symbolic data manipulated by the program. the resulting scheme is of interest for bringing the advantages which are inherent in TDG by PE to the field of logic programming.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：