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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

8 篇 会议

馆藏范围

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

日期分布

学科分类号

6 篇 工学
- 6 篇 计算机科学与技术...
- 5 篇 软件工程

主题

1 篇 declarative syst...
1 篇 data-aware busin...
1 篇 gui verification
1 篇 operational term...
1 篇 human computer i...
1 篇 agda
1 篇 dependently type...
1 篇 state-dependent ...
1 篇 general logics
1 篇 idp
1 篇 program verifica...
1 篇 quanta
1 篇 graphical user i...
1 篇 grounding
1 篇 interactive theo...
1 篇 kbs
1 篇 linearity
1 篇 haskell
1 篇 declarative lang...
1 篇 reachability

机构

1 篇 fachbereich info...
1 篇 katholieke univ ...
1 篇 laboratoire d'in...
1 篇 univ illinois cs...
1 篇 oregon state uni...
1 篇 swansea univ dep...
1 篇 vienna univ econ...
1 篇 univ politecn va...
1 篇 university of no...
1 篇 univ caen dept i...

作者

1 篇 favre jean-marie
1 篇 adelsberger step...
1 篇 walkingshaw eric
1 篇 janssens gerda
1 篇 leinberger marti...
1 篇 karczmarczuk jer...
1 篇 varanovich andre...
1 篇 setzer anton
1 篇 i. perez
1 篇 nilsson henrik
1 篇 dasseville ingma...
1 篇 lucas salvador
1 篇 devriendt jo
1 篇 lämmel ralf
1 篇 meseguer jose
1 篇 jansen joachim
1 篇 schmorleiz thoma...

语言

8 篇 英文

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

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

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

详细简洁

排序：

ppdp 2014 - Proceedings of the 16th international symposium on principles and practice of declarative programming

PPDP 2014 - Proceedings of the 16th International Symposium ...

引用

16th international symposium on principles and practice of declarative programming, ppdp 2014

ISBN: (纸本)9781450329477

the proceedings contain 27 papers. the topics discussed include: Lazier imperative programming;parametricity and proving free theorems for functional-logic languages;bijective collection encodings and Boolean operations with hereditarily binary natural numbers;design and implementation of a multithreaded virtual machine for executing linear logic programs;proofs in continuation-passing style: normalization of Gödel's system T extended with sums and delimited control operators;a type theoretic specification for partial evaluation;continuations, processes, and sharing;elimination of square roots and divisions by partial inlining;real-time matching of Antescofo temporal patterns;on the declarative structure of quantum concepts: states and observables;proving operational termination of declarative programs in general logics;theories of homomorphic encryption, unification, and the finite variant property;and BiFluX: a bidirectional functional update language for XML.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 18th international symposium on principles and practice of declarative programming, ppdp 2016

Proceedings of the 18th International Symposium on Principle...

引用

18th international symposium on principles and practice of declarative programming, ppdp 2016

ISBN: (纸本)9781450341486

the proceedings contain 16 papers. the topics discussed include: description and evaluation of a generic design to integrate CLP and tabled execution;higher-order logic programming: an expressive language for representing qualitative preferences;a framework for easing the development of applications embedding answer set programming;proving inductive validity of constrained inequalities;analysis of access control policy updates through narrowing;strand spaces with choice via a process algebra semantics;reducing the overhead of assertion run-time checks via static analysis;and iterated process analysis over lattice-valued regular expressions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

declarative GUIs: Simple, Consistent, and Verified 18

Declarative GUIs: Simple, Consistent, and Verified

引用

20th international symposium on principles and practice of declarative programming (ppdp)

作者： Adelsberger, Stephan Setzer, Anton Walkingshaw, Eric Vienna Univ Econ Dept Informat Syst & Operat A-1020 Vienna Austria Swansea Univ Dept Comp Sci Swansea SA2 8PP W Glam Wales Oregon State Univ Sch EECS Corvallis OR 97331 USA

ISBN: (纸本)9781450364416

Graphical user interfaces (GUIs) are ubiquitous in real-world software and a notorious source of bugs that are difficult to catch through software testing. Model checking has been used to prove the absence of certain kinds of bugs, but model checking works on an abstract model of the GUI application, which might be inconsistent with its implementation. We present a library for developing directly verified, state-dependent GUI applications in the dependently typed programming language Agda. In the library, the type of a GUI's controller depends on a specification of the GUI itself, statically enforcing consistency between them. Arbitrary properties can be defined and proved in terms of user interactions and state transitions. Our library connects to a custom-built Haskell back-end for declarative vector-based GUI elements. Compared to an earlier version of our library built on an existing imperative GUI framework, the more declarative back-end supports simpler definitions and proofs. As a practical application of our library to a safety-critical domain, we present a case study developed in cooperation with the Medical University of Vienna. the case study implements a healthcare process for prescribing anticoagulants, which is highly error-prone when followed manually. Our implementation generates GUIs from an abstract description of a data-aware business process, making our approach easy to reuse and adapt to other safety-critical processes. We prove medically relevant safety properties about the executable GUI application, such as that given certain inputs, certain states must or must not be reached.

关键词： Agda interactive theorem proving dependently typed programming graphical user interfaces GUI verification state-dependent GUIs reachability dependable software data-aware business processes verification of business processes

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

declarative software development: Distilled tutorial 14

Declarative software development: Distilled tutorial

引用

16th international symposium on principles and practice of declarative programming, ppdp 2014

作者： Varanovich, Andrei Lämmel, Ralf Leinberger, Martin Favre, Jean-Marie Schmorleiz, thomas Fachbereich Informatik Universität Koblenz-Landau Germany Laboratoire d'Informatique de Grenoble Université de Grenoble France

ISBN: (纸本)9781450329477

Software development could be said to be declarative, if declarative programming languages were used significantly in the development of a software system. Software development could also be said to be declarative, if lightweight or heavyweight formal methods or model-driven engineering and model transformation were used as the primary development methods. this tutorial discusses another view on 'declarative software development'. that is, we promote the use of declarative methods for understanding software systems, software languages, software technologies, and software concepts. More specifically, we discuss a method package of a software ontology, automated software analysis, a modeling approach for software technologies, and Linked Data-based publication and exploration of software data. © Copyright 2014 ACM.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

declarative game programming distilled tutorial 14

Declarative game programming distilled tutorial

引用

16th international symposium on principles and practice of declarative programming, ppdp 2014

作者： Nilsson, Henrik I., Perez University of Nottingham United Kingdom

ISBN: (纸本)9781450329477

Video games are usually not programmed very declaratively. there are a number of reasons for this, from low-level efficiency concerns, via the nature of commonly employed programming languages, libraries, and frameworks, to the conceptual nature of such games, with state and effects being omnipresent. However, by structuring games in terms of time-varying values and transformations on such values, it is possible to design and implement video games in a more declarative way. this tutorial shows how this can be achieved through Functional Reactive programming (FRP) by implementing the high-level parts of a 2D game akin to the classical game Breakout. the tutorial uses the Haskell-embedded FRP implementation Yampa and bindings to SDL (Simple Direct Media Layer) to obtain game play and visual standards typical of the 2D genre;for example, as seen in many currently popular games for smartphones and tablets. © Copyright 2014 ACM.

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：