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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

738 篇 会议
127 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

777 篇 工学
- 742 篇 软件工程
- 568 篇 计算机科学与技术...
- 35 篇 控制科学与工程
- 19 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 生物工程
- 8 篇 土木工程
- 6 篇 建筑学
- 4 篇 化学工程与技术
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 农业工程
59 篇 理学
- 33 篇 数学
- 18 篇 生物学
- 6 篇 物理学
- 6 篇 化学
- 6 篇 系统科学
- 1 篇 大气科学
- 1 篇 地球物理学
- 1 篇 统计学（可授理学、...
58 篇 管理学
- 34 篇 图书情报与档案管...
- 26 篇 管理科学与工程(可...
- 8 篇 工商管理
12 篇 法学
- 12 篇 社会学
- 1 篇 法学
6 篇 教育学
- 6 篇 教育学
3 篇 农学
- 3 篇 作物学
1 篇 医学

主题

250 篇 languages
111 篇 object oriented ...
83 篇 performance
83 篇 design
52 篇 algorithms
46 篇 verification
43 篇 java
41 篇 experimentation
38 篇 reliability
36 篇 computer program...
34 篇 theory
19 篇 human factors
17 篇 concurrency
16 篇 parallel program...
16 篇 object-oriented ...
15 篇 measurement
14 篇 scala
13 篇 aspect oriented ...
13 篇 javascript
12 篇 type systems

机构

18 篇 univ washington ...
13 篇 ecole polytech f...
12 篇 tech univ darmst...
11 篇 microsoft res re...
9 篇 mit csail cambri...
8 篇 univ texas austi...
7 篇 princeton univ p...
7 篇 univ marburg d-3...
7 篇 univ texas austi...
7 篇 aarhus univ dk-8...
6 篇 johannes kepler ...
6 篇 suny binghamton ...
6 篇 harvard univ cam...
6 篇 purdue univ w la...
6 篇 univ calif berke...
5 篇 univ duisburg es...
5 篇 microsoft res ca...
5 篇 ecole polytech f...
5 篇 mcgill univ mont...
5 篇 univ hong kong p...

作者

12 篇 rajan hridesh
12 篇 odersky martin
11 篇 mezini mira
10 篇 hirschfeld rober...
10 篇 binder walter
9 篇 salvaneschi guid...
9 篇 aldrich jonathan
9 篇 ostermann klaus
8 篇 mckinley kathryn...
8 篇 marr stefan
8 篇 rompf tiark
7 篇 oliveira bruno c...
7 篇 noble james
7 篇 liu yu david
7 篇 kuncak viktor
7 篇 gulwani sumit
6 篇 bond michael d.
6 篇 ceze luis
6 篇 van der storm ti...
6 篇 coad peter

语言

747 篇 英文
116 篇 其他
2 篇 中文
1 篇 俄文

检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"

共 866 条记录，以下是431-440 订阅

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

详细简洁

排序：

Code Clones in Feature-oriented Software Product Lines 10

Code Clones in Feature-Oriented Software Product Lines

引用

9th international conference on Generative programming and Component Engineering

作者： Schulze, Sandro Apel, Sven Kaestner, Christian Univ Magdeburg D-39106 Magdeburg Germany Univ Passau Passau Germany Univ Marburg D-35032 Marburg Germany

ISBN: (纸本)9781450301541

Some limitations of object-oriented mechanisms are known to cause code clones (e. g., extension using inheritance). Novel programming paradigms such as feature-oriented programming (FOP) aim at alleviating these limitations. However, it is an open issue whether FOP is really able to avoid code clones or whether it even facilitates (FOP-related) clones. To address this issue, we conduct an empirical analysis on ten feature-oriented software product lines with respect to code cloning. We found that there is a considerable number of clones in feature-oriented software product lines and that a large fraction of these clones is FOP-related (i.e., caused by limitations of feature-oriented mechanisms). Based on our results, we initiate a discussion on the reasons for FOP-related clones and on how to cope with them. We show by means of examples how such clones can be removed by applying refactorings.

关键词： Design languages measurements Code clones software product lines feature-oriented programming refactoring

来源：评论

学校读者我要写书评

暂无评论

A context management infrastructure with language integration support

A context management infrastructure with language integratio...

引用

3rd international Workshop on Context-oriented programming, COP'11 - Co-located with the 25th European conference on object-oriented programming, ECOOP 2011

作者： Rho, Tobias Appeltauer, Malte Lerche, Stephan Cremers, Armin B. Hirschfeld, Robert Department of Computer Science III University of Bonn Germany Software Architecture Group Hasso-Plattner-Institute University of Potsdam Germany

ISBN: (纸本)9781450308915

A range of context-management systems in the past have motivated the need for development support of context-aware applications. They typically provide APIs and query languages for context analysis. Reacting to context changes, however, is either not at all or only to a limited extend supported by adhering to constraints of a framework. In this paper, we present a context-management system that combines context reasoning with context-dependent behavior by taking advantage of language approaches to dynamic adaptation, such as aspect- and context-oriented programming. Our framework is open for different levels of integration with programming language extensions and offers a dynamic, strategy-based aggregation of local and distributed context sources. As a first step, we implemented a query library for the JCop language. We present its API and show the implementation of an example application.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Two for the Price of One: A Model for Parallel and Incremental Computation 11

Two for the Price of One: A Model for Parallel and Increment...

引用

2th acm international conference on systems, programming, languages, and Applications: Software for Humanity (SPLASH)

作者： Burckhardt, Sebastian Leijen, Daan Sadowski, Caitlin Yi, Jaeheon Ball, Thomas Microsoft Research Redmond WA USA University of California at Santa Cruz Santa Cruz CA USA

ISBN: (纸本)9781450309400

Parallel or incremental versions of an algorithm can significantly outperform their counterparts, but are often difficult to develop. programming models that provide appropriate abstractions to decompose data and tasks can simplify parallelization. We show in this work that the same abstractions can enable both parallel and incremental execution. We present a novel algorithm for parallel self-adjusting computation. This algorithm extends a deterministic parallel programming model (concurrent revisions) with support for recording and repeating computations. On record, we construct a dynamic dependence graph of the parallel computation. On repeat, we reexecute only parts whose dependencies have changed. We implement and evaluate our idea by studying five example programs, including a realistic multi-pass CSS layout algorithm. We describe programming techniques that proved particularly useful to improve the performance of self-adjustment in practice. Our final results show significant speedups on all examples (up to 37x on an 8-core machine). These speedups are well beyond what can be achieved by parallelization alone, while requiring a comparable effort by the programmer.

关键词： Self-adjusting computation Incremental memoization Parallel programming

来源：评论

学校读者我要写书评

暂无评论

COOMP 2011: First international workshop on combined object-oriented modeling and programming

COOMP 2011: First international workshop on combined object-...

引用

acm international conference on systems, programming, languages, and Applications: Software for Humanity, SPLASH'11

作者： Madsen, Ole Lehrmann Møoller-Pedersen, Birger Runde, Ragnhild Kobro Alexandra Institute Aarhus University Denmark University of Oslo Norway

ISBN: (纸本)9781450309424

languages for modeling and programming are diverging, with the implication that developers that would like to model (in order to raise the abstraction level and become independent of implementation platforms) end up with the challenge of maintaining both model and program artifacts. In addition, modeling is hampered by poor tool support compared with programming tools. The trend in programming languages is that less attention is paid to the fact that programming should be a kind of modeling, while executable models will not cover what programs usually cover. The aim of this workshop is to investigate requirements for combined modeling and programming languages, by identifying candidate elements that should be supported by such languages, propose potential new combined language mechanisms, and by investigating implementation techniques for such languages.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Modularity for the changing meaning of changing 11

Modularity for the changing meaning of changing

引用

Proceedings of the tenth international conference on Aspect-oriented software development

作者： Harrison, William Trinity College Dublin Dublin 2 Ireland

ISBN: (纸本)9781450305563

In the past, modular structures for software systems have rested upon several assumptions that may no longer characterize the changing world of dynamic computing. Important among these assumptions is that the decision to use or reuse a particular component is made at the time a client is developed. But the advent of a variety of modern software architectures like SOA, mobile/ubiquitous computing, grids, and AOSD emphasize deferring these decisions about component choice until run-time. The presumption of development-time choice has had deep influence on many of the characteristics of programming languages. We explore the impact of the change of implementation selection from development-time to run-time on programming language constructs and middleware, and conclude that there is a model for software that satisfies the needs of future, more dynamic environments in a way that can be achieved as a compatible extension of today's common object-oriented languages.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Efficient implementation of the plaid language

Efficient implementation of the plaid language

引用

acm international conference on systems, programming, languages, and Applications: Software for Humanity, SPLASH'11

作者： Chasins, Sarah Swarthmore College Carnegie Mellon University United States

ISBN: (纸本)9781450309424

The Plaid language introduces native support for state abstractions and state change. While efficient language implementation typically relies on stable object members, state change alters members at runtime. We built a JavaScript compilation target with a novel state representation, which enables fast member access. Cross-language performance comparisons are used for evaluation.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Binders Unbound 11

Binders Unbound

引用

16th acm sigplan international conference on Functional programming (ICFP 11)

作者： Weirich, Stephanie Yorgey, Brent A. Sheard, Tim Univ Penn Philadelphia PA 19104 USA Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9781450308656

Implementors of compilers, program refactorers, theorem provers, proof checkers, and other systems that manipulate syntax know that dealing with name binding is difficult to do well. Operations such as alpha-equivalence and capture-avoiding substitution seem simple, yet subtle bugs often go undetected. Furthermore, their implementations are tedious, requiring "boilerplate" code that must be updated whenever the object language definition changes. Many researchers have therefore sought to specify binding syntax declaratively, so that tools can correctly handle the details behind the scenes. This idea has been the inspiration for many new systems (such as Beluga, Delphin, FreshML, FreshOCaml, C alpha ml, FreshLib, and Ott) but there is still room for improvement in expressivity, simplicity and convenience. In this paper, we present a new domain-specific language, UNBOUND, for specifying binding structure. Our language is particularly expressive-it supports multiple atom types, pattern binders, type annotations, recursive binders, and nested binding (necessary for telescopes, a feature found in dependently-typed languages). However, our specification language is also simple, consisting of just five basic combinators. We provide a formal semantics for this language derived from a locally nameless representation and prove that it satisfies a number of desirable properties. We also present an implementation of our binding specification language as a GHC Haskell library implementing an embedded domain specific language (EDSL). By using Haskell type constructors to represent binding combinators, we implement the EDSL succinctly using datatype-generic programming. Our implementation supports a number of features necessary for practical programming, including flexibility in the treatment of user-defined types, best-effort name preservation (for error messages), and integration with Haskell's monad transformer library.

关键词： Algorithms languages generic programming Haskell name binding patterns

来源：评论

学校读者我要写书评

暂无评论

Safer context (de)activation: Through the prompt-loyal strategy

Safer context (de)activation: Through the prompt-loyal strat...

引用

3rd international Workshop on Context-oriented programming, COP'11 - Co-located with the 25th European conference on object-oriented programming, ECOOP 2011

作者： Cardozo, Nicolás González, Sebastián Kim, Mens D'Hondt, Theo ICTEAM Institute Université Catholique de Louvain B-1348 Louvain-la-Neuve Belgium Software Languages Lab. Vrije Universiteit Brussel B-1050 Brussels Belgium

ISBN: (纸本)9781450308915

Context-oriented programming languages provide language abstractions for the dynamic activation and deactivation of behavioral adaptations, based on the system's context of execution. As contexts are freely activated and deactivated, their associated behavior adaptations are added and removed to and from the system, which may break its consistency with respect to other available adaptations. To manage consistency between adaptations this paper introduces a model for the safe activation and deactivation of contexts. The model consists of two approaches, prompt-loyal for a delayed context (de)activation, and prompt for an immediate context (de)activation.

关键词： Chemical activation

来源：评论

学校读者我要写书评

暂无评论

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance 11

Type checking modular multiple dispatch with parametric poly...

引用

2011 acm international conference on object oriented programming systems languages and Applications, OOPSLA'11

作者： Allen, Eric Hilburn, Justin Kilpatrick, Scott Luchangco, Victor Ryu, Sukyoung Chase, David Steele, Guy L. Oracle Labs United States University of Texas Austin United States KAIST Korea Republic of

ISBN: (纸本)9781450309400

In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the entire type hierarchy to be known, thus supporting modularity and extensibility. In this work, we extend these rules to a language that supports parametric polymorphism on both classes and functions. In a multiple-inheritance language in which any type may be extended by types in other modules, some overloaded functions that might seem valid are correctly rejected by our rules. We explain how these functions can be permitted in a language that additionally supports an exclusion relation among types, allowing programmers to declare "nominal exclusions" and also implicitly imposing exclusion among different instances of each polymorphic type. We give rules for computing the exclusion relation, deriving many type exclusions from declared and implicit ones. We also show how to check our rules for ensuring the safety of overloaded functions. In particular, we reduce the problem of handling parametric polymorphism to one of determining subtyping relationships among universal and existential types. Our system has been implemented as part of the open-source Fortress compiler. Copyright is held by the author / owner(s).

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

AmbientTalk: Modern actors for modern networks

AmbientTalk: Modern actors for modern networks

引用

acm international conference on systems, programming, languages, and Applications: Software for Humanity, SPLASH'11 and the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11

作者： Van Cutsem, Tom Software Languages Lab. Vrije Universiteit Brussel Belgium

ISBN: (纸本)9781450311830

The purpose of this demo is to showcase the AmbientTalk programming language. AmbientTalk is intended to be a "scripting language for mobile phones". It's a dynamic, object-oriented, distributed programming language with a focus on deployment in so-called mobile ad hoc networks - networks composed of mobile devices that communicate peer-to-peer using wireless communication technology. We discuss AmbientTalk's roots and devote special attention to its concurrent and distributed language features, which are founded on the actor model. © 2011 acm.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 40 41 42 43 44 45 46 47 48 49 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：