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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

4 篇 工学
- 4 篇 计算机科学与技术...
- 3 篇 软件工程
- 1 篇 信息与通信工程

主题

1 篇 declarative syst...
1 篇 operational term...
1 篇 fault tolerance
1 篇 software enginee...
1 篇 general logics
1 篇 idp
1 篇 mathematical log...
1 篇 program verifica...
1 篇 programming tech...
1 篇 quanta
1 篇 grounding
1 篇 programming lang...
1 篇 artificial intel...
1 篇 kbs
1 篇 linearity
1 篇 haskell
1 篇 logics and meani...
1 篇 declarative lang...
1 篇 experimental eva...
1 篇 states

机构

1 篇 mads research gr...
1 篇 microsoft resear...
1 篇 katholieke univ ...
1 篇 dept. of compute...
1 篇 univ illinois cs...
1 篇 univ politecn va...
1 篇 univ caen dept i...

作者

1 篇 lópez macías
1 篇 janssens gerda
1 篇 neng-fa zhou
1 篇 karczmarczuk jer...
1 篇 dasseville ingma...
1 篇 lucas salvador
1 篇 devriendt jo
1 篇 meseguer jose
1 篇 claudio russo
1 篇 jansen joachim
1 篇 castro laura m.
1 篇 cabrero david

语言

6 篇 英文

检索条件"任意字段=14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012"

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

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

详细简洁

排序：

ppdp'12 - Proceedings of the 2012 ACM SIGPLAN principles and practice of declarative programming

PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and...

引用

14th symposium on principles and practice of declarative programming, ppdp 2012

ISBN: (纸本)9781450315227

the proceedings contain 19 papers. the topics discussed include: symbolic evaluation graphs and term rewriting a general methodology for analyzing logic programs;automatic synthesis of specifications for first order curry programs;goal-directed execution of answer set programs;layered fixed point logic;a polynomial time ?-calculus with multithreading and side effects;modeling datalog fact assertion and retraction in linear logic;regular expression sub-matching using partial derivatives;functional semantics of parsing actions, and left recursion elimination as continuation passing;linear dependent types in a call-by-value scenario;transparent function types: clearing up opacity;exception handling for copyless messaging;declarative distributed advertisement system for iDTV: an industrial experience;task-oriented programming in a pure functional language;and a linear concurrent constraint approach for the automatic verification of access permissions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the declarative Structure of Quantum Concepts: States and Observables 14

On the Declarative Structure of Quantum Concepts: States and...

引用

16th International symposium on principles and practice of declarative programming (ppdp)

作者： Karczmarczuk, Jerzy Univ Caen Dept Informat Caen France

ISBN: (纸本)9781450329477

this tutorial documents our opinion that quantum concepts are declarative in nature, and that using imperative programming for quantum computation is a conceptual mismatch. We show how to construct a purely functional framework that describes a methodologically more correct (in our opinion) model of quantum entities. We refrain from representing explicitly, as data structures, such objects as states which cannot be analysed without being destroyed. We suggest that a declarative, purely functional approach gives formal tools that are more adequate for reasoning about the computational sense/contents of quantum entities, and in general of several mathematical constructs considered abstract. We show that this approach can be used in practice, and we suggest that it also can shed some light on the sense of the linearity - the geometric property of vector spaces - within the quantum framework.

关键词： Quanta Haskell States Operators Universal constructions Linearity

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of a State-Of-the-Art Grounder 14

Experimental Evaluation of a State-Of-The-Art Grounder

引用

16th International symposium on principles and practice of declarative programming (ppdp)

作者： Jansen, Joachim Dasseville, Ingmar Devriendt, Jo Janssens, Gerda Katholieke Univ Leuven Dept Comp Sci Celestijnenlaan 200A B-3001 Heverlee Belgium

ISBN: (纸本)9781450329477

Many state-of-the-art declarative systems use a ground-and-solve approach, where the problem statement, expressed in a high-level language, is first grounded into a low-level representation. Next, a solver is used to search a solution for the low-level representation. In order to prevent a combinatorial blowup of the grounding, many intelligent techniques have been developed. In this paper we study in detail three such techniques (Lifted Unit Propagation, Grounding With Bounds, and Reduced Grounding) to get a better insight in their individual merits and their interactions. Our experiments take as benchmarks all the NP problems of the previous Answer Set programming (ASP) competitions. the experiments are performed with IDP 3 and all tools needed to run them are made publicly available. the first experiment discusses the impact of the three techniques on the "efficiency" of the grounding step, and on each other. In a second set of experiments we show that a reduction in the grounding size as a result of the application of these grounding techniques does not reduce the search space. We give an in-depth analysis of our results and discuss what this means for the development of grounding techniques for declarative systems.

关键词： Grounding Experimental Evaluation declarative System IDP KBS

来源：评论

学校读者我要写书评

暂无评论

declarative distributed advertisement system for iDTV: An industrial experience 12

Declarative distributed advertisement system for iDTV: An in...

引用

14th symposium on principles and practice of declarative programming, ppdp 2012

作者： López, Macías Castro, Laura M. Cabrero, David MADS Research Group University of a Coruña a Coruña Spain

ISBN: (纸本)9781450315227

When designing a distributed system, good practices like using modular architectures or applying design patterns are always desir- able, but there are relevant aspects that may initially go unnoticed even if we carefully approach the task by the book. Among them, there are a number of decisions to be taken about the specifics of the communications between system nodes: the format of the messages to be sent, the desired/demanded features of the network (latency, bandwidth. . . ), etc. In particular, one of the most common problems in distributed systems design and implementation is the definition of a good approach to node failure or netsplits management. In fact, these are concerns that, in many cases, arise once the system is already at deployment stage. Different contingency mechanisms can be proposed to solve this kind of problems, and they vary greatly from one another: choosing which and how to implement them depends not only on the technology used, but also on the communications network reliability, or even the hardware where the system will be running on. In this paper we present ADVERTISE, a distributed system for advertisement transmission to on-customer-home set-top boxes (STBs) over a Digital TV network (iDTV) of a cable operator. We use this system as a case study to explain how we addressed the aforementioned problems from a declarative point of view. Copyright © 2012 ACM.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Proving Operational Termination of declarative Programs in General Logics 14

Proving Operational Termination of Declarative Programs in G...

引用

16th International symposium on principles and practice of declarative programming (ppdp)

作者： Lucas, Salvador Meseguer, Jose Univ Illinois CS Dept Urbana IL 61801 USA Univ Politecn Valencia DSIC Valencia Spain

ISBN: (纸本)9781450329477

A declarative program P is a theory in a given computational logic L, so that computation with such a program is efficiently implemented as deduction in L. that is why inference systems are crucial: they both (i) define the logical semantics of a language in its underlying logic L, and (ii) specify the execution of programs in a correct implementation. the notion of operational termination (OT) of a declarative program P identifies termination with absence of infinite inference with P. We further develop the OT notion for declarative programs in general logics with schematic inference systems and characterize OT in terms of chains of proof jumps. We also generalize the Dependency Pair Framework for Term Rewriting Systems to an arbitrary schematic logic L, so that methods for proving declarative programs OT become available for a very wide range of declarative languages. We illustrate the usefulness of the general OT methods we propose by three case studies in three logics: that of Conditional Term Rewriting Systems, the Typed lambda-calculus, and Membership Rewriting Logic. In particular, we show how various programs that could not be proved terminating with existing methods can be proved OT with the methods presented here.

关键词： General Logics declarative Languages Operational Termination Program Verification

来源：评论

学校读者我要写书评

暂无评论

Practical Aspects of declarative Languages 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Claudio Russo Neng-Fa Zhou

ISBN: (数字)9783642276941

ISBN: (纸本)9783642276934

this book constitutes the refereed proceedings of the 14th International symposium on Practical Aspects of declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th symposium on principles of programming Languages. the 38 revised technical papers presented together with 3 application papers were carefully reviewed and selected from 52 submissions. the volume features original work emphasizing new ideas and approaches pertaining to applications and implementation techniques of declarative languages and addresses topics such as innovative applications of declarative languages, declarative domain-specific languages and applications, practical applications of theoretical results, new language developments and their impact on applications, evaluation of implementation techniques on practical applications, novel implementation techniques relevant to applications, novel uses of declarative languages in the classroom, and practical experiences.

关键词： programming Languages, Compilers, Interpreters programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：