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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

590 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

438 篇 工学
- 383 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

608 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 613 条记录，以下是201-210 订阅

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

详细简洁

排序：

Frequency estimation of virtual call targets for object-oriented programs 11

Frequency estimation of virtual call targets for object-orie...

引用

proceedings of the 25th european conference on object-oriented programming

作者： Cheng Zhang Hao Xu Sai Zhang Jianjun Zhao Yuting Chen Department of Computer Science and Engineering Shanghai Jiao Tong University School of Software Shanghai Jiao Tong University Computer Science & Engineering Department University of Washington Department of Computer Science and Engineering Shanghai Jiao Tong University and School of Software Shanghai Jiao Tong University

ISBN: (纸本)9783642226540

the information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this information, most of the existing approaches rely on dynamic profiling. they usually require running the programs with representative workloads, which are often absent in practice. Additionally, some kinds of programs are very sensitive to run-time disturbance, thus are generally not suitable for dynamic profiling. therefore, a technique which can statically estimate the execution frequencies of virtual call targets will be very *** this paper we propose an evidence-based approach to frequency estimation of virtual call targets. By applying machine learning algorithms on the data collected from a group of selected programs, our approach builds an estimation model to capture the relations between static features and run-time program behaviors. then, for a new program, the approach estimates the relative frequency for each virtual call target by applying the model to the static features of the program. Once the model has been built, the estimation step is purely static, thus does not suffer the shortcomings of existing dynamic techniques. We have performed a number of experiments on real-world large-scale programs to evaluate our approach. the results show that our approach can estimate frequency distributions which are much more informative than the commonly used uniform distribution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study of the Impact of Two Antipatterns, Blob and Spaghetti Code, on Program Comprehension

An Empirical Study of the Impact of Two Antipatterns, Blob a...

引用

(CSMR) european conference on Software Maintenance and Reengineering

作者： Marwen Abbes Foutse Khomh Yann-Gaël Guéhéneuc Giuliano Antoniol Ptidej Team SOCCER LabDGIGL Ecole Polytechnique de Montreal Montreal Canada Ptidej Team SOCCER Lab DGIGL Canada Dépt. d'Informatique et de Recherche Opérationnelle Université de Montréal Montréal Canada Dept. of Elec. and Comp. Engineering Queen's University Kingston Ontario Canada

Antipatterns are "poor" solutions to recurring design problems which are conjectured in the literature to make object-oriented systems harder to maintain. However, little quantitative evidence exists to support this conjecture. We performed an empirical study to investigate whether the occurrence of antipatterns does indeed affect the understandability of systems by developers during comprehension and maintenance tasks. We designed and conducted three experiments, with 24 subjects each, to collect data on the performance of developers on basic tasks related to program comprehension and assessed the impact of two antipatterns and of their combinations: Blob and Spaghetti Code. We measured the developers' performance with: (1) the NASA task load index for their effort, (2) the time that they spent performing their tasks, and, (3) their percentages of correct answers. Collected data show that the occurrence of one antipattern does not significantly decrease developers' performance while the combination of two antipatterns impedes significantly developers. We conclude that developers can cope with one antipattern but that combinations of antipatterns should be avoided possibly through detection and refactorings.

关键词： Maintenance engineering programming Analysis of variance Java Indexes NASA Time measurement

来源：评论

学校读者我要写书评

暂无评论

A theory of typestate-oriented programming

A theory of typestate-oriented programming

引用

24th european conference on object-oriented programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10

作者： Saini, Darpan Sunshine, Joshua Aldrich, Jonathan Carnegie Mellon University United States

ISBN: (纸本)9781450305402

Engineers in many disciplines use state machines to reason about system changes, and many object-oriented libraries require their clients to follow state machine protocols. No existing language, however, has native support for state machines, and programmers often lose productivity and introduce errors when trying to understand and follow interaction protocols. the Plaid language extends the object paradigm with explicit states and state transitions, in order to better model object state transitions. In this paper, we present Plaid core, a core calculus for Plaid, which uses states and permissions to statically guarantee that clients use object protocols correctly. © 2010 ACM.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Context oriented programming in highly concurrent systems

Context oriented programming in highly concurrent systems

引用

24th european conference on object-oriented programming, ECOOP 2010 - 2nd International Workshop on Context-oriented programming, COP'10

作者： Ghezzi, Carlo Pradella, Matteo Salvaneschi, Guido DEEPSE Group DEI Politecnico di Milano Piazza L. Da Vinci 32 Milano Italy DEEPSE Group CNR IEIIT-MI Via Golgi 42 Milano Italy

ISBN: (纸本)9781450305310

Context oriented programming (COP) allows modularization of programs according to the cross-cutting concern of contexts. Context depending features are grouped in layers which can be activated at run time by triggering the associated behavioral variations. COP extensions have been provided for different languages. However all of them enforce a thread, shared-memory based concurrency model. In this paper we discuss how the COP paradigm can be applied to message-based concurrent systems which support the agents paradigm. the discussion is supported by the case of ContextErlang, our COP-inspired contextual version of Erlang. © 2010 ACM.

关键词： Modular construction

来源：评论

学校读者我要写书评

暂无评论

A graph-based operational semantics for context-oriented programming

A graph-based operational semantics for context-oriented pro...

引用

24th european conference on object-oriented programming, ECOOP 2010 - 2nd International Workshop on Context-oriented programming, COP'10

作者： Schippers, Hans Molderez, Tim Janssens, Dirk Dept. of Mathematics and Computer Science University of Antwerp Antwerp Belgium

ISBN: (纸本)9781450305310

Context-oriented programming can be regarded as a technique aiming for an improved (multi-dimensional) separation of concerns (MDSOC). the delMDSOC (virtual) machine model describes a common target platform for a range of high-level MDSOC approaches. As it is based only on the well-known concepts of objects, messages and delegation, it provides a means to express the semantics of context-oriented programming using these same notions as well. An approach based on structured operational semantics (SOS) exists, but it has a number of drawbacks, including its implicit representation of program state and the lack of a simulation mechanism. In this paper we introduce a graph-based semantics for context-oriented programming built on top of a concurrent actor-based semantics of delMDSOC. the semantics consists of a number of graph rewrite rules which can be applied to sample graphs using the AGG tool. this allows for the visual simulation of context-oriented programs, which we demonstrate by means of an example. © 2010 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Complete coinductive subtyping for abstract compilation of object-oriented languages

Complete coinductive subtyping for abstract compilation of o...

引用

24th european conference on object-oriented programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10

作者： Ancona, Davide Lagorio, Giovanni DISI University of Genova Italy

ISBN: (纸本)9781450305402

Coinductive abstract compilation is a novel technique, which has been recently introduced, for defining precise type systems for object-oriented languages. In this approach, type inference consists in translating the program to be analyzed into a Horn formula f, and in resolving a certain goal w.r.t. the coinductive (that is, the greatest) Herbrand model of f. Type systems defined in this way are idealized, since types and, consequently, goal derivations, are not finitely representable. Hence, sound implementable approximations have to rely on the notions of regular types and derivations, and of subtyping and subsumption between types and atoms, respectively. In this paper we address the problem of defining a complete subtyping relation ≤ between types built on object and union type constructors: we interpret types as sets of values, and investigate on a definition of subtyping such that t1 ≤ t 2 is derivable whenever the interpretation of t1 is contained in the interpretation of t2. Besides being an important theoretical result, completeness is useful for reasoning about possible implementations of the subtyping relation, when restricted to regular types. © 2010 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Strong exception-safety for Java-like languages

Strong exception-safety for Java-like languages

引用

24th european conference on object-oriented programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10

作者： Lagorio, Giovanni Servetto, Marco DISI University of Genova Via Dodecaneso 35 16146 Genova Italy

ISBN: (纸本)9781450305402

"Exception-safety strong guarantee: the operation has either completed successfully or thrown an exception, leaving the program state exactly as it was before the operation started." David Abrahams [1] the above definition of strong exception-safety comes from the world of C++, but it can be applied to any language. Because the exception-safety strong guarantee plays a central role in easing the development of robust software, we have designed a type-system able to capture its essence. We present a lightweight type system for Java-like languages that, by introducing a simple modifier to types, enforces programs to satisfy the strong guarantee. © 2010 ACM.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Empirical assessment of C++-like implementations for multiple inheritance

Empirical assessment of C++-like implementations for multipl...

引用

24th european conference on object-oriented programming, ECOOP 2010 - 6th Workshop on the Implementation, Compilation, Optimization of object-oriented Languages, Programs and Systems, ICOOOLPS 2010

作者： Morandat, Floréal Ducournau, Roland LIRMM Université Montpellier 2 France

ISBN: (纸本)9781450305372

Multiple inheritance and dynamic loading increase the overhead yielded by object-oriented mechanisms like late binding. this article provides an empirical assessment of the implementation technique that can be used in this context, namely C++-like subobjects and perfect hashing. theses new results represent a first comparison of the implementation of C++, and show that perfect hashing is also promising in this context. © 2010 ACM.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Demystifying object schizophrenia

Demystifying object schizophrenia

引用

24th european conference on object-oriented programming, ECOOP 2010 - 4th Workshop on Mechanisms for Specialization, Generalization and Inheritance, MASPEGHI'10

作者： Herrmann, Stephan

ISBN: (纸本)9781450305358

A central dichotomy for specialization mechanisms is the divide between static class-based inheritance and dynamic instance-based delegation. Despite its greater flexibility delegation has not found its way into mainstream object-oriented languages. Searching for a reason of why this is so, I find one notion that seriously discredits any delegation-based approach: "object Schizophrenia". this paper tries to rationalize the discussion by demonstrating that not all forms of split identity are evil. this is done by unfolding how object Teams supports split identities while carefully avoiding the known problems ascribed to object schizophrenia. © 2010 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reverse inheritance in statically typed object-oriented programming languages

Reverse inheritance in statically typed object-oriented prog...

引用

24th european conference on object-oriented programming, ECOOP 2010 - 4th Workshop on Mechanisms for Specialization, Generalization and Inheritance, MASPEGHI'10

作者： ChirilǍ, Ciprian-Bogdan Sakkinen, Markku Lahire, Philippe Jurca, Ioan University Politehnica of Timişoara Romania University of Jyväskylä Finland University of Nice France

ISBN: (纸本)9781450305358

Reverse inheritance is a new class reuse mechanism, an experimental implementation of which we have built for Eiffel. It enables a more natural design approach, factorization of common features (members), insertion of classes into an existing hierarchy etc. Due to its reuse potential in Eiffel we consider exploring its capabilities in other industrial-strength programming languages like C++, Java and C#. © 2010 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：