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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

25 篇 期刊文献
21 篇 会议
1 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

45 篇 工学
- 36 篇 计算机科学与技术...
- 12 篇 软件工程
- 3 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 信息与通信工程
- 1 篇 建筑学
- 1 篇 土木工程
10 篇 理学
- 7 篇 数学
- 2 篇 物理学
- 1 篇 系统科学
4 篇 教育学
- 4 篇 教育学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

48 篇 imperative progr...
6 篇 declarative prog...
6 篇 functional progr...
5 篇 incremental comp...
4 篇 languages
4 篇 constraint solvi...
3 篇 program analysis
3 篇 dataflow program...
3 篇 algorithms
3 篇 design
3 篇 observer design ...
3 篇 data structure r...
3 篇 object-oriented ...
3 篇 reactive program...
2 篇 experimentation
2 篇 theorem proving
2 篇 search agent
2 篇 denotational sem...
2 篇 programming para...
2 篇 xml

机构

3 篇 cornell univ dep...
2 篇 univ colorado bo...
2 篇 univ paris dider...
2 篇 univ manchester ...
2 篇 ibm corp tj wats...
2 篇 indiana univ sic...
2 篇 toyota technol i...
1 篇 imperial coll lo...
1 篇 lanzhou univ sch...
1 篇 univ n carolina ...
1 篇 school of mathem...
1 篇 univ london impe...
1 篇 tamkang univ dep...
1 篇 univ sussex dept...
1 篇 unsw australia n...
1 篇 hankyong natl un...
1 篇 sapienza univ ro...
1 篇 ucl dept comp sc...
1 篇 delft univ techn...
1 篇 univ amsterdam d...

作者

3 篇 demetrescu camil
3 篇 leivant daniel
3 篇 ribichini andrea
3 篇 finocchi irene
2 篇 kozen dexter
2 篇 peshansky igor
2 篇 ahmed amal
2 篇 henderson chris
2 篇 blume matthias
2 篇 reichenbach chri...
2 篇 burke michael g.
2 篇 bansal ajay
2 篇 raghavachari muk...
2 篇 jeannin jean-bap...
2 篇 smith james
2 篇 acar umut a.
2 篇 lau kung-kiu
1 篇 kumar amruth n.
1 篇 wisnesky ryan
1 篇 guttmann walter

语言

39 篇 英文
8 篇 其他
1 篇 中文

检索条件"主题词=imperative programming"

共 48 条记录，以下是21-30 订阅

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

详细简洁

排序：

Computing with Capsules 1

引用

14th International Workshop on Descriptional Complexity of Formal Systems (DCFS)

作者： Jeannin, Jean-Baptiste Kozen, Dexter Cornell Univ Dept Comp Sci Ithaca NY 14853 USA

ISBN: (数字)9783642316234

ISBN: (纸本)9783642316234;9783642316227

Capsules provide an algebraic representation of the state of a computation in higher-order functional and imperative languages. A capsule is essentially a finite coalgebraic representation of a regular closed lambda-coterm. One can give an operational semantics based on capsules for a higher-order programming language with functional and imperative features, including mutable bindings. Static (lexical) scoping is captured purely algebraically without stacks, heaps, or closures. All operations of interest are typable with simple types, yet the language is Turing complete. Recursive functions are represented directly as capsules without the need for fixpoint combinators.

关键词： capsules semantics functional programming imperative programming

来源：评论

学校读者我要写书评

暂无评论

On Transformations between Paradigms in Audio programming 18

On Transformations between Paradigms in Audio Programming

引用

Conference on Interation with Sound (Audio Mostly) : Sound in Immersion and Emotion (AM)

作者： Kraemer, Robert Poepel, Cornelius Ansbach Univ Appl Sci Ansbach Germany

ISBN: (纸本)9781450366090

The research on paradigms in audio and music programming is an ongoing endeavor. However, although new audio programming paradigms have been created, already established paradigms did prevail and dominate major music production systems. Our research aims at the question, how programming paradigms and music production interacts. We describe the implementation process of an imperative algorithm calculating the greatest common divisor (gcd) in Pure Data and exemplify common problems of transformational processes between an imperative paradigm and a patch-paradigm. Having a closer look at related problems in research on programming paradigms in general, we raise the question of how constraints and boundaries of paradigms play a role in the design process of a program. With the deliberation on selected papers within the context of computer science, we give insight into different views of how the process of programming can be thought and how certain domains of application demand a specific paradigm.

关键词： programming paradigms programming languages audio programming imperative programming declarative programming sound production sound synthesis composition music

来源：评论

学校读者我要写书评

暂无评论

Computational Thinking with the Web Crowd using CodeMapper 19

Computational Thinking with the Web Crowd using CodeMapper

引用

34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC)

作者： Vanvorce, Patrick Jamil, Hasan M. Univ Idaho Dept Comp Sci Moscow ID 83843 USA

ISBN: (纸本)9781450359337

It has been argued that computational thinking should precede computer programming in the course of a career in computing. This argument is the basis for the slogan "logic first, syntax later" and the development of many cryptic syntax removed programming languages such as Scratch!, Blockly and Visual Logic. The goal is to focus on the structuring of the semantic relationships among the logical building blocks to yield solutions to computational problems. In this paper, we introduce a new programming platform, called the CodeMapper, in which learners are able to build computational logic in independent modules and aggregate them to create complex modules. CodeMapper is an abstract development environment in which rapid visual prototyping of systems is possible by combining already developed independent modules in logical steps.

关键词： Computational thinking imperative programming rapid prototyping crowd-computing conceptual programming

来源：评论

学校读者我要写书评

暂无评论

Algorithmically Broad Languages for Polynomial Time and Space 27th

Algorithmically Broad Languages for Polynomial Time and Spac...

引用

27th International Workshop on Logic, Language, Information and Computation (WoLLIC)

作者： Leivant, Daniel Indiana Univ Comp Sci Bloomington IN 47405 USA Univ Paris IRIF F-75205 Paris France

ISBN: (纸本)9783030888534;9783030888527

Flexible programming languages with built-in bounds on time or space resources are of obvious practical interest. Since we know that no programming language can capture exactly the PTime (or PSpace) algorithms, the challenge is to design languages that guarantee PTime while accommodating a broad spectrum of algorithmic methods. We propose here such languages for PTime and PSpace, based on size-sensitive imperative programming, parameterless procedures, and a retooling of the ramification method.

关键词： Ramification imperative programming Parameterless procedures Variants Bundles PTime PSpace Non-size-increase

来源：评论

学校读者我要写书评

暂无评论

A Survey of Quantum programming Languages: History, Methods, and Tools

A Survey of Quantum Programming Languages: History, Methods,...

引用

2nd International Conference on Quantum, Nano and Micro Technologies

作者： Sofge, Donald A. USN Res Lab Navy Ctr Appl Res Artificial Intelligence Washington DC 20375 USA

ISBN: (纸本)9781424442287

Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear logic), and engineering attempts to build the first non-trivial quantum computer. This paper briefly surveys the history, methods, and proposed tools for programming quantum computers circa late 2007. It is intended to provide an extensive but non-exhaustive look at work leading up to the current state-of-the-art in quantum computer programming. Further, it is an attempt to analyze the needed programming tools for quantum programmers, to use this analysis to predict the direction in which the field is moving, and to make recommendations for further development of quantum programming language tools.

关键词： quantum computing functional programming imperative programming linear logic lambda calculus

来源：评论

学校读者我要写书评

暂无评论

Calculation by Tactic in Theorem Proving

Calculation by Tactic in Theorem Proving

引用

World Automation Congress (WAC)

作者： Li, Bing Zhang, Jian Su, Wei Li, Lian Lanzhou Univ Sch Math & Stat Lanzhou 730000 Gansu Peoples R China

ISBN: (纸本)9781467344975

We illustrate a proof in a theorem proving system can be used not only to show the correctness of a given proposition but also as a calculator to perform symbolic calculation by giving out two case studies under Isabelle/HOL. Through simulating an imperative language, we show this method can be used to realizing various algorithms. Tactics which are designed to construct such proofs can be used to realize automatic theorem proving and fill the gap between the proof in textbook mathematic text and that in a theorem proving system.

关键词： Theorem proving imperative programming Isabelle/HOL

来源：评论

学校读者我要写书评

暂无评论

Using SPARK for a Beginner's Course on Reasoning about imperative Programs 07

Using SPARK for a Beginner's Course on Reasoning about Imper...

引用

ACM SIGAda Annual International Conference (SIGAda 07)

作者： Lau, Kung-Kiu Univ Manchester Sch Comp Sci Manchester M13 9PL Lancs England

ISBN: (纸本)9781595938763

Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be supported by suitable practical course work. For this, we need a suitable language with appropriate tool Support. In this paper, we describe our experience of using SPARK and its tools for this purpose. Our experience has been a very positive one.

关键词： imperative programming Predicate Transformer Semantics

来源：评论

学校读者我要写书评

暂无评论

imperative Self-Adjusting Computation

Imperative Self-Adjusting Computation

引用

35th ACM-SIGPLAN-SIGACT Symposium on Principles of programming Languages

作者： Acar, Umut A. Ahmed, Amal Blume, Matthias Toyota Technol Inst Chicago IL USA

ISBN: (纸本)9781595936899

Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to store all data that can change over time in modifiable references and to let computations construct traces that can drive change propagation. After changes have occurred, change propagation updates the result of the computation by re-evaluating only those expressions that depend on the changed data. Previous approaches to self-adjusting computation require that modifiable references be written at most once during execution - this makes the model applicable only in a purely functional setting. In this paper, we present techniques for imperative self-adjusting computation where modifiable references can be written multiple times. We define a language SAIL (Self-Adjusting imperative Language) and prove consistency, i.e., that change propagation and from-scratch execution are observationally equivalent. Since SAIL programs are imperative, they can create cyclic data structures. To prove equivalence in the presence of cycles in the store, we formulate and use an untyped, step-indexed logical relation, where step indices are used to ensure well-foundedness. We show that SAIL accepts an asymptotically efficient implementation by presenting algorithms and data structures for its implementation. When the number of operations (reads and writes) per modifiable is bounded by a constant, we show that change propagation becomes as efficient as in the non-imperative case. The general case incurs a slowdown that is logarithmic in the maximum number of such operations. We describe a prototype implementation of SAIL as a Standard ML library. © 2008 ACM.

关键词： Self-adjusting computation incremental computation step-indexed logical relations imperative programming change propagation memoization mutable state

来源：评论

学校读者我要写书评

暂无评论

Analysis of imperative XML programs

引用

11th International Symposium on Database programming Languages

作者： Reichenbach, Christoph Burke, Michael G. Peshansky, Igor Raghavachari, Mukund IBM Corp TJ Watson Res Ctr Armonk NY USA Univ Colorado Boulder CO 80309 USA

ISBN: (纸本)9783540759867

The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in such programs. The analysis handles imperative loops that traverse XML values explicitly and declarative queries over XML data in a uniform framework. We describe two optimizations that take advantage of our analysis: one merges queries that traverse the same set of XML nodes, and the other replaces an XPath expression by a previously computed result. We demonstrate performance improvements for selected XMark benchmark queries and XLinq sample queries. (C) 2009 Elsevier B.V. All rights reserved.

关键词： Program analysis XML imperative programming

来源：评论

学校读者我要写书评

暂无评论

Active Learning Sheets for A Beginner's Course on Reasoning about imperative Programs 07

Active Learning Sheets for A Beginner's Course on Reasoning ...

引用

38th SIGCSE Technical Symposium on Computer Science Education

作者： Lau, Kung-Kiu Univ Manchester Sch Comp Sci Manchester M13 9PL Lancs England

ISBN: (纸本)9781595933614

We decided to support active learning on a beginner's course on Reasoning about imperative Programs because our students find the material challenging. Because of the large class size and resource implications, we opted for a simple approach: the modified lecture format. We devised active learning sheets for use during lectures. Each sheet consisted of short questions which covered the main points of the lecture. Students had to answer the questions during the lectures as they listened. In this paper we describe how we designed the active learning sheets for this particular course, and the students' (positive) response to them.

关键词： imperative programming Software Engineering Formal Methods

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：