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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

18 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

17 篇 工学
- 17 篇 计算机科学与技术...
- 14 篇 软件工程
- 2 篇 电气工程
- 1 篇 信息与通信工程
9 篇 理学
- 8 篇 数学
- 1 篇 物理学
2 篇 管理学
- 2 篇 图书情报与档案管...

主题

9 篇 logic programmin...
2 篇 computer program...
1 篇 answer constrain...
1 篇 attributed varia...
1 篇 space charge
1 篇 constraint logic...
1 篇 parallel archite...
1 篇 registers
1 篇 microelectronics
1 篇 software debuggi...
1 篇 transistors
1 篇 meta-predicates
1 篇 functional progr...
1 篇 information mana...
1 篇 integrated circu...
1 篇 algebraic modeli...
1 篇 integrated devel...
1 篇 constraint simpl...
1 篇 iso-prolog
1 篇 logic variables

机构

1 篇 chalmers univers...
1 篇 alcatel-lucent w...
1 篇 department of el...
1 篇 univ gothenburg ...
1 篇 planning systems...
1 篇 fleet numerical ...
1 篇 computer science...
1 篇 the university o...
1 篇 portland state u...
1 篇 univ new mexico ...
1 篇 tu madrid sch co...
1 篇 department of co...
1 篇 the university o...
1 篇 department of co...
1 篇 university of ke...
1 篇 cau kiel
1 篇 institute of inf...
1 篇 univ british col...
1 篇 inria saclay pal...
1 篇 oxford brookes u...

作者

1 篇 liu yanhong a.
1 篇 chitil olaf
1 篇 kiselyov oleg
1 篇 nassar ahmed
1 篇 fages francois
1 篇 pimlott andrew
1 篇 bouma gerlof
1 篇 vezzosi andrea
1 篇 ueda kazunori
1 篇 wang bow-yaw
1 篇 ahn ki yung
1 篇 tapan j. chakrab...
1 篇 bueno f
1 篇 hermenegildo m
1 篇 masami hagiya
1 篇 martin clare e.
1 篇 curtis sharon a.
1 篇 saha diptikalyan
1 篇 kurdahi fadi j.
1 篇 navas j

语言

17 篇 英文
2 篇 中文

检索条件"任意字段=8th International Symposium on Functional and Logic Programming, FLOPS 2006"

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

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

详细简洁

排序：

functional and logic programming: 8th international symposium, flops 2006, Proceedings

Functional and Logic Programming: 8th International Symposiu...

引用

8th international symposium on functional and logic programming, flops 2006

ISBN: (纸本)3540334386

the proceedings contain 19 papers. the topics discussed include: convergence in language design: a case of lightning striking four times in the same place;ruler: programming type rules;a framework for extended algebraic data types;lock free data structures using STM in Haskell;XML type checking using high-level tree transducer;a computational approach to Pocklington certificates in type theory;defining and reasoning about recursive functions: a practical tool for the coq proof assistant;typed contracts for functional programming;contracts as pairs of projections;iData for the world wide web programming interconnected web forms;crossing state lines: adapting object-oriented frameworks to functional reactive languages;and WASH server pages.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

functional and logic programming 2006

引用

丛书名： Lecture Notes in Computer Science

2006年

作者： Masami Hagiya Philip Wadler

来源：评论

学校读者我要写书评

暂无评论

Real-Time Persistent Queues and Deques with logic Variables (Declarative Pearl) 12

Real-Time Persistent Queues and Deques with Logic Variables ...

引用

11th international symposium on functional and logic programming (flops)

作者： Bouma, Gerlof Univ Gothenburg Dept Swedish Spraakbanken Box 200 S-40530 Gothenburg Sweden

ISBN: (纸本)9783642298226

We present a Prolog implementation of real-time persistent queues and double-ended queues. Our implementation is inspired by Okasaki's lazy-functional approach, but relies only on standard Prolog, comprising of the pure subset plus if-then-else constructs to efficiently implement guards and meta-calls for convenience. the resulting data structure is a nice demonstration of the fact that the use of logic variables to hold the outcome of an unfinished computation can sometimes give the same kind of elegant and compact solutions as lazy evaluation.

关键词： Queues deques persistence Prolog logic variables pearl

来源：评论

学校读者我要写书评

暂无评论

Soutei, a logic-based trust-management system system description

Soutei, a logic-based trust-management system system descrip...

引用

8th international symposium on functional and logic programming, flops 2006

作者： Pimlott, Andrew Kiselyov, Oleg Planning Systems Inc. Slidell LA Fleet Numerical Meteorology and Oceanography Center Monterey CA

ISBN: (纸本)3540334386

We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are written in a declarative logic-based security language and thus constitute distributed logic programs. Soutei policies are modular, concise, and readable. they support policy verification, and, despite the simplicity of the language, express role- and attribute-based access control lists, and conditional delegation. We describe the real-world deployment of Soutei into a publish-subscribe web service with distributed and compartmentalized administration, emphasizing the often overlooked aspect of authorizing the creation of resources and the corresponding policies. Soutei brings Binder from a research prototype into the real world. Supporting large, truly distributed policies required non-trivial changes to Binder, in particular mode-restriction and goal-directed top-down evaluation. To improve the robustness of our evaluator, we describe a fair and terminating backtracking algorithm. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Architectural Support for Runtime Verification on ccNUMA Multiprocessors

Architectural Support for Runtime Verification on ccNUMA Mul...

引用

8th IEEE international Design and Test symposium (IDT)

作者： Nassar, Ahmed Kurdahi, Fadi J. Univ Calif Irvine Dept EECS Irvine CA 92697 USA

ISBN: (纸本)9781479935253

this paper presents a runtime verification (RV) framework on distributed shared-memory multiprocessors based on explicit functional/concurrency intent specification in the form of temporal logic properties. A generic programming model, that subsumes task and data parallelism, has been wrought along with an automata-based formulation of the RV problem. Algorithms are implemented for the construction and minimization of automata checkers that can be executed concurrently with multithreaded applications to assert their correct functioning. the needed architectural supporting mechanisms and the ensuing design tradeoffs are investigated using an approximately-timed transaction-level model. the simulation model confirms scalability of the proposed RV approach to large multiprocessor systems. It also quantifies the increase in the number of processors needed to replenish the monitoring-induced performance degradation.

关键词： parallel architectures temporal logic software debugging automata shared memory systems distributed computing

来源：评论

学校读者我要写书评

暂无评论

A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics 17th

A Constraint-Based Mathematical Modeling Library in Prolog w...

引用

17th international symposium on functional and logic programming (flops)

作者： Fages, Francois Inria Saclay Palaiseau France

ISBN: (纸本)9789819722990;9789819723003

Constraint logic programming emerged in the late 80's as a highly declarative class of programming languages based on first-order logic and theories with decidable constraint languages, thereby subsuming Prolog restricted to equality constraints over the Herbrand's term domain. this approach has proven extremely successful in solving combinatorial problems in the industry which quickly led to the development of a variety of constraint solving libraries in standard programming languages. Later came the design of a purely declarative front-end constraint-based modeling language, MiniZinc, independent of the constraint solvers, in order to compare their performances and create model benchmarks. Beyond that purpose, the use of a high-level modeling language such as MiniZinc to develop complete applications, or to teach constraint programming, is limited by the impossibility to program search strategies, or new constraint solvers, in a modeling language, as well as by the absence of an integrated development environment for both levels of constraint-based modeling and constraint solving. In this paper, we propose to solve those issues by taking Prolog with its constraint solving libraries, as a unified relation-based modeling and programming language. We present a Prolog library for high-level constraint-based mathematical modeling, inspired by MiniZinc, using subscripted variables (arrays) in addition to lists and terms, quantifiers and iterators in addition to recursion, together with a patch of constraint libraries in order to allow array functional notations in constraints. We show that this approach does not come with a significant computation time overhead, and presents several advantages in terms of the possibility of focussing on mathematical modeling, getting answer constraints in addition to ground solutions, programming search or constraint solvers if needed, and debugging models within a unique modeling and programming environment.

关键词： constraint logic programming algebraic modeling languages answer constraints MiniZinc meta-predicates constraint solving constraint simplification attributed variables ISO-Prolog

来源：评论

学校读者我要写书评

暂无评论

logic/constraint programming and concurrency: the hard-won lessons of the fifth generation computer project 1

引用

13th international symposium on functional and logic programming, flops 2016

作者： Ueda, Kazunori Department of Computer Science and Engineering Waseda University 3-4-1 Okubo Shinjuku-ku Tokyo Japan

the technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing o...

ISBN: (数字)9783319296043

ISBN: (纸本)9783319296036

the technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture [8].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Executable relational specifications of polymorphic type systems using prolog 1

引用

13th international symposium on functional and logic programming, flops 2016

作者： Ahn, Ki Yung Vezzosi, Andrea Portland State University PortlandOR United States Chalmers University of Technology Gothenburg Sweden

ISBN: (数字)9783319296043

ISBN: (纸本)9783319296036

A concise, declarative, and machine executable specification of the Hindley-Milner type system (HM) can be formulated using logic programming languages such as Prolog. Modern functional language implementations such as the Glasgow Haskell Compiler support more extensive flavors of polymorphism beyond Milner’s theory of type polymorphism in the late 70‘s. We progressively extend the HM specification to include more advanced type system features. An interesting development is that extending dimensions of polymorphism beyond HM resulted in a multi-staged solution: resolve the typing relations first, while delaying to resolve kinding relations, and then resolve the delayed kinding relations. Our work demonstrates that logic programing is effective for prototyping polymorphic type systems with rich features of polymorphism, and that logic programming could have been even more effective for specifying type inference if it were equipped with better theories and tools for staged resolution of different relations at different levels. © Springer international Publishing Switzerland 2016.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

8th international symposium on programming Languages: Implementations, logics, and Programs, PLILP 1996

8th International Symposium on Programming Languages: Implem...

引用

8th international symposium on programming Languages, Implementations, logics, and Programs, PLILP 1996

ISBN: (纸本)3540617566

the proceedings contain 36 papers. the special focus in this conference is on Typing and Structuring Systems. the topics include: Calculate polytypically;limits of ML-definability;functorial ML;parametric polymorphism for typed prolog and a-prolog;a specification formalism for inheritance and object hierarchies;towards independent and-parallelism in CLP;annotated structure shape graphs for abstract analysis of prolog;a reactive implementation of pos using ROBDDs;dynamic attribute grammars;controlling conjunctive partial deduction;unfold/fold transformations of concurrent processes;semantics-based compiling;implementing memoization for partial evaluation;higher order deforestation;scheduling expression DAGs for minimal register need;improving tabled logic programs through alternative scheduling strategies;a new implementation approach for prolog;systematic extraction and implementation of divide-and-conquer parallelism;functional skeletons generate process topologies in eden;a language for executable specifications;from term rewriting to generalised interaction nets;type isomorphisms for module signatures;decidability of logic program semantics and applications to testing;unifying pictures and widgets in a constraint-based framework for concurrent functional GUI;modeling sharing and recursion for weak reduction strategies using explicit substitution;context-sensitive computations in confluent programs;models for using stochastic constraint solvers in constraint logic programming;integrating efficient records into concurrent constraint programming;the LOL deductive database programming language;an efficient and precise sharing domain for logic programs;cheap tupling in calculational form;needed narrowing in prolog;automatic optimization of dynamic scheduling in logic programs and a visual constraint programming tool.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Nondeterministic folds

引用

8th international Conference on Mathematics of Program Construction

作者： Martin, Clare E. Curtis, Sharon A. Oxford Brookes Univ Dept Comp Oxford OX33 1HX England

the map and fold operators are both key elements of every functional programmer's toolkit. In this paper we examine the corresponding concepts in the domain of multirelations, which can be used to model both angel... 详细信息

ISBN: (纸本)3540356312

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：