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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

959 篇 会议
62 篇 期刊文献
1 册 图书

馆藏范围

1,022 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

905 篇 工学
- 859 篇 软件工程
- 783 篇 计算机科学与技术...
- 155 篇 控制科学与工程
- 28 篇 信息与通信工程
- 16 篇 电气工程
- 12 篇 建筑学
- 10 篇 光学工程
- 9 篇 土木工程
- 9 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 机械工程
- 4 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 冶金工程
- 3 篇 航空宇航科学与技...
- 2 篇 力学（可授工学、理...
123 篇 理学
- 92 篇 数学
- 17 篇 系统科学
- 12 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 化学
- 3 篇 物理学
- 2 篇 地质学
109 篇 管理学
- 78 篇 图书情报与档案管...
- 42 篇 管理科学与工程(可...
- 23 篇 工商管理
16 篇 教育学
- 15 篇 教育学
8 篇 法学
- 8 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 农学

主题

468 篇 object oriented ...
24 篇 languages
22 篇 object oriented ...
17 篇 object-oriented ...
16 篇 computer languag...
15 篇 performance
15 篇 java
12 篇 design
10 篇 computer program...
10 篇 user interfaces
9 篇 software enginee...
9 篇 verification
8 篇 application soft...
8 篇 semantics
8 篇 computer aided s...
7 篇 computer science
7 篇 parallel program...
7 篇 static analysis
7 篇 scala
6 篇 reliability

机构

7 篇 swiss fed inst t...
6 篇 univ texas austi...
5 篇 ibm t.j. watson ...
5 篇 carnegie mellon ...
5 篇 university of il...
4 篇 ecole polytech f...
4 篇 univ waterloo wa...
4 篇 victoria univers...
4 篇 at and t united ...
3 篇 ibm united state...
3 篇 school of comput...
3 篇 university of te...
3 篇 univ of washingt...
3 篇 university of il...
3 篇 oregon graduate ...
3 篇 ibm
3 篇 schlumberger-dol...
3 篇 department of co...
3 篇 intel corp santa...
3 篇 computer science...

作者

9 篇 biddle robert
9 篇 aldrich jonathan
8 篇 de champeaux den...
8 篇 noble james
8 篇 cook william r.
7 篇 johnson ralph
7 篇 coad peter
7 篇 abi-antoun marwa...
6 篇 baniassad elisa
6 篇 yonezawa akinori
6 篇 jacobson ivar
5 篇 mckinley kathryn...
5 篇 sweeney peter f.
5 篇 palsberg jens
5 篇 grothoff christi...
5 篇 helm richard
5 篇 yoder joseph w.
5 篇 alphonce carl
5 篇 kiczales gregor
5 篇 ungar david

语言

998 篇 英文
24 篇 其他

检索条件"任意字段=1988 Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988"

共 1022 条记录，以下是551-560 订阅

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

详细简洁

排序：

On automatic class insertion with overloading 96

On automatic class insertion with overloading

引用

1996 ACM SIGPAN conference on object-oriented programming systems, languages and applications (oopsla 96)

作者： Dicky, H Dony, C Huchard, M Libourel, T LIRMM: Laboratoire d'Informatique de Robotique et de Micro-électronique de Montpellier 161 rue Ada - 34392 Montpellier Cedex 5 - France

ISBN: (纸本)9780897917889

Several algorithms [Gas92, MS89, Run92, DDHL94a, DDHL95, GMM95] have been proposed to automatically insert a class into an inheritance hierarchy. But actual hierarchies al include overriden and overloaded properties that these algorithms handle either very partially or not at all. Partially handled means handled provided there is a separate given function f able to compare overloaded properties [DDHL95, GMM95]. In this paper, we describe a new version of our algorithm (named Ares) which handles automatic class insertion more efficiently using such a function f. Although impossible to fully define, this function can be computed for a number of well defined cases of overloading and overriding. We give a classification of such cases and describe the computation process for a well-defined set of nontrivial cases. The algorithm preserves these important properties: preservation of the maximal factorization of properties preservation of the underlying structure (Galois lattice) of the input hierarchy conservation of relevant classes of the input hierarchy with their properties.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reorganizing split objects 96

Reorganizing split objects

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： Astudillo R., Hernan SHL Systemhouse Atlanta United States

ISBN: (纸本)9780897917889

object-based (i.e. classless) models are very effective for elucidating requirements from users, and they support exploratory programming and rapid prototyping, providing a direct manipulation approach. On the other hand, class-based models have powerful mechanisms to control redundancy, exploit sharing, express extension, and propagate changes to instances. The price object-based approaches pay is loss of control over change propagation, and potential redundancy. Two mechanisms to overcome this are sharing among objects and definition of objects as extension of others. We examine these mechanisms, and consider the effect that interacting policies for objects sharing and definition-by-extension have on change propagation and replication control. An implication is that, in absence of meta-objects or extra-language support, monolithic shared parts cannot coexist with prototypes represented as split objects.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Using role components to implement collaboration-based designs 11

Using role components to implement collaboration-based desig...

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： VanHilst, Michael Notkin, David Univ of Washington Seattle United States

ISBN: (纸本)089791788X

In this paper we present a method of code implementation that works in conjunction with collaboration and responsibility based analysis modeling techniques to achieve better code reuse and resilience to change. Our approach maintains a closer mapping from responsibilities in the analysis model to entities in the implementation. In so doing, it leverages the features of flexible design and design reuse found in collaboration-based design models to provide similar adaptability and reuse in the implementation. Our approach requires no special development tools and uses only standard features available in the C++ language. In an earlier paper we described the basic mechanisms used by our approach and discussed its advantages in comparison to the framework approach. In this paper we show how our approach combines code and design reuse, describing specific techniques that can be used in the development of larger applications.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Simple and effective analysis of statically-typed object-oriented programs 96

Simple and effective analysis of statically-typed object-ori...

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： Diwan, Amer Moss, J.Eliot B. McKinley, Kathryn S. Univ of Massachusetts Amherst United States

ISBN: (纸本)9780897917889

To use modern hardware effectively, compilers need extensive control-flow information. Unfortunately, the frequent method invocations in object-oriented languages obscure control flow. In this paper, we describe and evaluate a range of analysis techniques to convert method invocations into direct calls for statically-typed object-oriented languages and thus improve control-flow information in object-oriented languages. We present simple algorithms for type hierarchy analysis, aggregate analysis, and interprocedural and intraprocedural type propagation. These algorithms are also fast, O(|procedures| * ∑pprocedures np * υp) worst case time (linear in practice) for our slowest analysis, where np is the size of procedure p and υp is the number of variables in procedure p, and are thus practical for use in a compiler. When they fail, we introduce cause analysis to reveal the source of imprecision and suggest where more powerful algorithms may be warranted. We show that our simple analyses perform almost as well as an oracle that resolves all method invocations that invoke only a single procedure.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Formal design constraints 96

Formal design constraints

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： Klarlund, Nils Koistinen, Jari Schwartzbach, Michael I. Univ of Aarhus Aarhus Denmark

ISBN: (纸本)9780897917889

Large software systems are often built on system platforms that support or enforce specific characteristics of the source code or actual design. These characteristics are either captured informally in design guideline documents or in specialized design and implementation languages. In our view, both approaches are unsatisfactory. Informal descriptions do not allow automated analysis and lead to vague constraint descriptions. The language-based approach leads to different languages for different platforms and even for different versions of the same basic platform. Our approach is to describe and name the constraints separately in a design constraint language called CDL, which is based on an extraordinarily concise logic of parse trees. Designs are then annotated with the names of the constraints they are supposed to satisfy. We discuss how the design constraint language is integrated into a design language environment. We exhibit industrial and experimental evidence that our choice of design constraint language allows us to formalize naturally and succinctly common design characteristics.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Fast static analysis of C++ virtual function calls 96

Fast static analysis of C++ virtual function calls

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： Bacon, David F. Sweeney, Peter F. IBM Watson Research Cent Yorktown Heights United States

ISBN: (纸本)9780897917889

Virtual functions make code easier for programmers to reuse but also make it harder for compilers to analyze. We investigate the ability of three static analysis algorithms to improve C++ programs by resolving virtual function calls, thereby reducing compiled code size and reducing program complexity so as to improve both human and automated program understanding and analysis. In measurements of seven programs of significant size (5000 to 20000 lines of code each) we found that on average the most precise of the three algorithms resolved 71% of the virtual function calls and reduced compiled code size by 25%. This algorithm is very fast: it analyzes 3300 source lines per second on an 80 MHz PowerPC 601. Because of its accuracy and speed, this algorithm is an excellent candidate for inclusion in production C++ compilers.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Vortex: An optimizing compiler for object-oriented languages 96

Vortex: An optimizing compiler for object-oriented languages

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： Dean, Jeffrey DeFouw, Greg Grove, David Litvinov, Vassily Chambers, Craig Univ of Washington Seattle United States

ISBN: (纸本)9780897917889

Previously, techniques such as class hierarchy analysis and profile-guided receiver class prediction have been demonstrated to greatly improve the performance of applications written in pure object-oriented languages, but the degree to which these results are transferable to applications written in hybrid languages has been unclear. In part to answer this question, we have developed the Vortex compiler infrastructure, a language-independent optimizing compiler for object-oriented languages, with front-ends for Cecil, C++, Java, and Modula-3. In this paper, we describe the Vortex compiler's intermediate language, internal structure, and optimization suite, and then we report the results of experiments assessing the effectiveness of different combinations of optimizations on sizable applications across these four languages. We characterize the benchmark programs in terms of a collection of static and dynamic metrics, intended to quantify aspects of the `object-orientedness' of a program.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 10th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1995

Proceedings of the 10th Annual Conference on Object-Oriented...

引用

10th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1995

ISBN: (纸本)0897917030

The proceedings contain 38 papers. The topics discussed include: using a prototype based language for user interface: the Newton project's experience;annotating objects for transport to other worlds;managing object oriented projects;type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages;profile-guided receiver class prediction;bidirectional object layout for separate compilation;minimizing row displacement dispatch tables;sound polymorphic type inference for objects;tailoring OO analysis and design methods;modular reasoning in the presence of subclassing;on the semantic diversity of delegation-based programming languages;subject-oriented composition rules;and compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla

Proceedings of the Conference on Object-Oriented Programming...

引用

10th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1995

ISBN: (纸本)0897917219

The proceedings contain 36 papers. The topics discussed include: application of domain analysis to object-oriented systems;applying object-oriented software engineering methods to the development of call center software: a case study;using objects to manage in-memory data intensive expert systems;the navigation toolkit project revisited;performance of a OODB in a online 7x24x365 manufacturing operation;why C++ is not just an object-oriented programming language;patterns: cult to culture?;oopsla'95 doctoral symposium;implementing a real -time, embedded, telecommunication switching system in SmallTalk;object oriented project management;OO process and metrics for effort estimation;semantic integration in complex systems: collective behavior in business rules and software transactions;workshop on design patterns for concurrent, parallel and distributed object-oriented systems;the object engine: foundation for next generation architectures;subjectivity in object-oriented systems workshop summary;objects and relational databases;object database behavior, benchmarks, and performance workshop addendum;workshop on adaptable and adaptive software;and legacy systems and object technology workshop summary.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Report on the Workshop on object-oriented Real-Time systems

Report on the Workshop on Object-Oriented Real-Time Systems

引用

10th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1995

作者： Wilhelm, Bob Gilbert, John Fayad, Mohamed Objective Control United States Objective Software United States University of Nevada Reno United States

ISBN: (纸本)0897917219

The Workshop on object-oriented Real-Time systems has been conduced each year at oopsla since 1988 with a variety of formats. In this year's workshop, participants submitted position papers on a broad range of subjects, but were all asked to show the relevance of their work to three critical issues in OO real-time systems: dealing with time constraints;the roles of reactive versus scheduled behavior;and appropriate models of concurrent behavior. All position papers were presented and discussed during the workshop, followed by a round-table discussion of the state of the art regarding the three focus issues.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共103页 << < 52 53 54 55 56 57 58 59 60 61 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：