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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

143 篇 会议
15 册 图书

馆藏范围

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

日期分布

学科分类号

125 篇 工学
- 124 篇 计算机科学与技术...
- 69 篇 软件工程
- 6 篇 电气工程
- 5 篇 信息与通信工程
- 3 篇 控制科学与工程
- 1 篇 机械工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
38 篇 理学
- 37 篇 数学
- 1 篇 生物学
4 篇 管理学
- 3 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

39 篇 logic programmin...
11 篇 logics and meani...
9 篇 program transfor...
9 篇 mathematical log...
8 篇 computer circuit...
8 篇 semantics
8 篇 artificial intel...
7 篇 programming lang...
6 篇 software enginee...
6 篇 programming tech...
5 篇 program analysis
4 篇 program synthesi...
4 篇 software enginee...
4 篇 constraint handl...
3 篇 static analysis
3 篇 fpga
3 篇 source-to-source...
2 篇 program debuggin...
2 篇 floating-point n...
2 篇 concurrent const...

机构

4 篇 univ politecn va...
3 篇 katholieke univ ...
3 篇 nagoya inst tech...
2 篇 univ politecn ma...
2 篇 univ fed rio gra...
2 篇 univ politecn va...
2 篇 katholieke univ ...
2 篇 univ southern de...
2 篇 rhein westfal th...
2 篇 univ complutense...
2 篇 univ north texas...
2 篇 tech u madrid sc...
2 篇 imdea software i...
2 篇 univ new mexico ...
2 篇 univ new mexico ...
2 篇 ecole polytech l...
2 篇 univ ulm d-89069...
2 篇 ecole polytech i...
2 篇 german univ cair...
2 篇 nagoya institute...

作者

6 篇 vidal german
4 篇 proietti maurizi...
4 篇 schneider-kamp p...
4 篇 silva josep
4 篇 falaschi moreno
4 篇 seki hirohisa
4 篇 abdennadher slim
4 篇 giesl juergen
3 篇 de schreye danny
3 篇 leuschel michael
3 篇 lucas salvador
3 篇 meseguer jose
2 篇 puebla german
2 篇 bruynooghe mauri...
2 篇 senni valerio
2 篇 michael hanus
2 篇 gallagher john p...
2 篇 komendantskaya e...
2 篇 sharaf nada
2 篇 hermenegildo man...

语言

155 篇 英文
3 篇 中文

检索条件"任意字段=19th International Symposium on Logic-Based Program Synthesis and Transformation"

共 158 条记录，以下是141-150 订阅

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

详细简洁

排序：

Input-termination of logic programs

Input-termination of logic programs

引用

14th international symposium on logic based program synthesis and transformation, LOPSTR 2004

作者： Krishna Rao, M.R.K. Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran 31261 Saudi Arabia

In this paper, we study termination properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. A class of logic programs called linear bounded programs is introduced and input-termination of these programs is investigated. It is proved that linear bounded programs have only input-consuming LD-derivations (i.e., under Prolog's selection) of finite length. An attempt is then made to extend this result to all input-consuming derivations (not ncessarily under Prolog's selection). through a counterexample, it is shown that the above result does not hold for the whole class of linear bounded programs under arbitrary selection. However, it is proved that simply-moded linear bounded programs have only input-consuming derivations of finite length, i.e., simply-moded linear bounded programs are input-terminating with dynamic scheduling. this class contains many programs like append, delete, insert, reverse, permute, count, listsum, listproduct, insertion-sort, quick-sort on lists, various tree traversal programs and addition, multiplication, factorial, power on natural numbers. Further, it is decidable whether a given logic program is linear bounded or not, in contrast to the notions of acceptable and recurrent programs. © Springer-Verlag Berlin Heidelberg 2005.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Constraint solver synthesis using tabled resolution for constraint logic programming

引用

12th international Workshop on logic based program synthesis and transformation

作者： Abdennadher, S Rigotti, C Univ Munich Dept Comp Sci D-80538 Munich Germany INS Lyon Lab Ingn Syst Informat F-69621 Villeurbanne France

ISBN: (纸本)3540404384

the goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. In this paper, we present a framework for synthesis of rule-based solvers for constraints given their logical specification. this approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous work [8,19,2,5,3], where different methods for automatic generation of constraint solvers have been proposed, our approach enables the generation of more expressive rules (even recursive and splitting rules).

关键词：

来源：评论

学校读者我要写书评

暂无评论

the next 700 synthesis calculi 11

The next 700 synthesis calculi

引用

11th international symposium of Formal Methods Europe, FME 2002

作者： Basin, David Universität Freiburg Freiburg Germany

ISBN: (纸本)9783540439288

Over the last decade I have worked with colleagues on different projects to develop, implement, and automate the use of calculi for program synthesis and transformation. these projects had different motivations and goals and differed too in the kinds of programs synthesized (e.g., functional programs, logic programs, and even circuit descriptions). However, despite their differences they were all based on three simple ideas. First, calculi can be formally derived in a rich enough logic (e.g., higher-order logic). Second, higher-order resolution is the central mechanism used to synthesize programs during proofs of their correctness. And third, synthesis proofs have a predictable form and can be partially or completely automated. In the talk I explain these ideas and illustrate the general methodology employed. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Biomineralization

来源：评论

学校读者我要写书评

暂无评论

program synthesis and transformation techniques for simulation, optimization, and constraint satisfaction 4th

引用

4th international symposium on Abstraction, Reformulation and Approximation, SARA 2000

作者： Ellman, thomas Department of Computer Science Vassar College United States

ISBN: (纸本)3540678395

Scientists and engineers face recurring problems of constructing, testing and modifying numerical simulation programs. the process of coding and revising such simulators is extremely time-consuming, because they are almost always written in conventional programming languages. Scientists and engineers can therefore benefit from software that facilitates construction of programs for simulating physical systems. Our research adapts the methodology of deductive program synthesis to the problem of constructing numerical simulation codes. We have focused on simulators that can be represented as second order functional programs composed of numerical integration and root extraction routines. We have developed a system that uses first order Horn logic to synthesize numerical simulators built from these components. Our approach is based on two ideas: First, we axiomatize only the relationship between integration and differentiation. We neither attempt nor require a complete axiomatization of mathematical analysis. Second, our system uses a representation in which functions are reified as objects. Function objects are encoded as lambda expressions. Our knowledge base includes an axiomatization of term equality in the lambda calculus. It also includes axioms defining the semantics of numerical integration and root extraction routines. We use depth bounded SLD resolution to construct proofs and synthesize programs. Our system has successfully constructed numerical simulators for computational design of jet engine nozzles and sailing yachts, among others. Our results demonstrate that deductive synthesis techniques can be used to construct numerical simulation programs for realistic applications [EM98].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Abstract: Proof planning with program schemas 1

引用

8th international Workshop on logic-based program synthesis and transformation (LOPSTR 98)

作者： Richardson, J Univ Edinburgh Div Informat Inst Representat & Reasoning Edinburgh EH1 1HN Midlothian Scotland

ISBN: (数字)9783540489580

ISBN: (纸本)3540657657

Schema-based program synthesis and transformation techniques tend to be either pragmatic, designed for carrying out real program transformation or synthesis operations but lacking the logical basis to ensure correctness of the programs they synthesise/transform, or rigorous, with strong theoretical foundations, but generating proof obligations which are difficult to satisfy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

5th international Workshop on logic program synthesis and transformation, LOPSTR 1995

引用

5th international Workshop on logic program synthesis and transformation, LOPSTR 1995

ISBN: (纸本)3540609393

the proceedings contain 19 papers. the special focus in this conference is on logic program synthesis and transformation. the topics include: Preserving characteristic trees without constraints;memoing evaluation by source-to-source transformation;transformation of left terminating programs;derivation of concurrent algorithms in tempo;an argumentation-theoretic approach to logic program transformation;complexity of horn programs;studying the cost of logic languages in an abstract interpretation framework for granularity analysis;ideal refinement of datalog programs;guiding program development systems by a connection based proof strategy;towards an object-oriented methodology for deductive synthesis of logic programs;logic program synthesis by induction over horn clauses;logic program transformation through generalization schemata;an opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations;solving deductive planning problems using program analysis and transformation;towards a complete proof procedure to prove properties of normal logic programs under the completion;termination of logic programs using semantic unification;on the mechanics of metasystem hierarchies in program transformation and efficient translation of lazy functional logic programs into prolog.

关键词：

来源：评论

学校读者我要写书评

暂无评论

5th international symposium on programming, 1982

引用

5th international symposium on programming, 1982

ISBN: (纸本)9783540114949

the proceedings contain 25 papers. the special focus in this conference is on programming. the topics include: Procedures and concurrency: A study in proof;another characterization of weakest preconditions;powerdomains and nondeterministic recursive definitions;optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code;the simple semantics for Coppo-Dezani-Sallé types;proving the correctness of implementations of shared data abstractions;specification of communicating processes and process implementation correctness;a system for reasoning within and about algebraic specifications;tuning algebraic specifications by type merging;a machine-level semantics for nondeterministic, parallel programs;communicating agents for applicative concurrent programming;on effective computations of non-deterministic schemes;Specification and verification of concurrent systems in CESAR;proof of separability A verification technique for a class of security kernels;a method for program synthesis;the use of transformations to implement an algorithm;a formalized proof system for total correctness of while programs;automatic program transformation viewed as theorem proving;an enlarged definition and complete axiomatization of observational congruence of finite processes;perluette : A compilers producing system using abstract data types;a weakest precondition semantics for communicating processes;from abstract model to efficient compilation of patterns;computer-based synthesis of logic programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

logic-based program synthesis and transformation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： María Alpuente

ISBN: (数字)9783642205514

ISBN: (纸本)9783642205507

this book constitutes the thoroughly refereed post-proceedings of the 20th international symposium on logic-based program synthesis and transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. the 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

关键词： Software Engineering programming Techniques logics and Meanings of programs Artificial Intelligence Algorithms

来源：评论

学校读者我要写书评

暂无评论

logic-based program synthesis and transformation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Michael Hanus

ISBN: (数字)9783642005152

ISBN: (纸本)9783642005145

this book constitutes the thoroughly refereed post-conference proceedings of the 18th international symposium on logic-based program synthesis and transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. the 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

关键词： Software Engineering/programming and Operating Systems programming Techniques programming Languages, Compilers, Interpreters Software Engineering logics and Meanings of programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Static Analysis 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540691662

ISBN: (纸本)9783540691631

this book constitutes the refereed proceedings of the 15th international symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the international symposium on logic-based program synthesis and transformation, PPDP 2008, the international ACM SIGPLAN symposium on Principles and Practice of Declarative programming, and PLID 2008, the international Workshop on programming Language Interference and Dependence. the 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. the papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

关键词： Software Engineering/programming and Operating Systems programming Languages, Compilers, Interpreters logics and Meanings of programs Software Engineering Mathematical logic and Formal Languages programming Techniques

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：