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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,381 篇 会议
107 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

1,398 篇 工学
- 1,353 篇 软件工程
- 1,101 篇 计算机科学与技术...
- 176 篇 控制科学与工程
- 38 篇 信息与通信工程
- 21 篇 建筑学
- 15 篇 土木工程
- 15 篇 生物工程
- 12 篇 光学工程
- 12 篇 电气工程
- 6 篇 机械工程
- 6 篇 材料科学与工程（可...
- 5 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 冶金工程
- 3 篇 航空宇航科学与技...
- 2 篇 力学（可授工学、理...
- 2 篇 生物医学工程（可授...
166 篇 理学
- 126 篇 数学
- 23 篇 系统科学
- 18 篇 生物学
- 6 篇 化学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 2 篇 地质学
145 篇 管理学
- 103 篇 图书情报与档案管...
- 55 篇 管理科学与工程(可...
- 31 篇 工商管理
18 篇 教育学
- 17 篇 教育学
10 篇 法学
- 9 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 医学
1 篇 农学

主题

452 篇 object oriented ...
226 篇 languages
81 篇 performance
79 篇 design
71 篇 java programming...
52 篇 algorithms
48 篇 java
44 篇 experimentation
43 篇 verification
36 篇 computer program...
31 篇 reliability
30 篇 theory
28 篇 aspect oriented ...
21 篇 measurement
17 篇 human factors
16 篇 parallel program...
15 篇 concurrency
14 篇 static analysis
14 篇 scala
14 篇 refactoring

机构

18 篇 univ washington ...
12 篇 ecole polytech f...
12 篇 univ texas austi...
9 篇 microsoft res re...
9 篇 swiss fed inst t...
8 篇 mit csail cambri...
8 篇 univ calif berke...
8 篇 university of il...
7 篇 victoria univers...
6 篇 programming tool...
6 篇 univ waterloo wa...
6 篇 suny binghamton ...
6 篇 university of wa...
6 篇 carnegie mellon ...
6 篇 aarhus univ dk-8...
6 篇 purdue univ dept...
5 篇 univ marburg d-3...
5 篇 tech univ darmst...
5 篇 ibm t.j. watson ...
5 篇 delft univ techn...

作者

13 篇 noble james
13 篇 de moor oege
13 篇 aldrich jonathan
11 篇 lorenz david h.
10 篇 biddle robert
10 篇 odersky martin
10 篇 ernst michael d.
9 篇 mckinley kathryn...
9 篇 baniassad elisa
9 篇 hendren laurie
9 篇 visser eelco
9 篇 ostermann klaus
8 篇 de champeaux den...
8 篇 tip frank
8 篇 cook william r.
8 篇 johnson ralph
8 篇 liu yu david
8 篇 binder walter
8 篇 abi-antoun marwa...
8 篇 mezini mira

语言

1,423 篇 英文
69 篇 其他

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

共 1492 条记录，以下是1301-1310 订阅

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

详细简洁

排序：

Contracts: Specifying behavioral compositions in object-oriented systems 90

Contracts: Specifying behavioral compositions in object-orie...

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Helm, Richard Holland, Ian M. Gangopadhyay, Dipayan I.B.M. Thomas J. Watson Research Center P.O. Box 704 Yorktown HeightsNY10598 United States College of Computer Science Northeastern University 360 Huntington Ave. BostonMA02115 United States

ISBN: (纸本)0897914112

Behavioral compositions, groups of interdependent objects cooperating to accomplish tasks, are an important feature of object-oriented systems. This paper introduces Contracts, a new technique for specifying behavioral compositions and the obligations on participating objects. Refinement and composition of contracts allows for the creation of large grain abstractions based on behavior, orthogonal to those provided by existing class constructs. Using contracts thus provides a basis and vocabulary for Interaction-oriented design which greatly facilitates the early identification, abstraction and reuse of patterns of behavior in programs. Contracts differ from previous work in that they capture explicitly and abstractly the behavioral dependencies amongst cooperating objects. By explicitly stating these dependencies, contracts also provide an effective aid for program understanding and reuse. © 1990 ACM.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

The point of view notion for multiple inheritance 90

The point of view notion for multiple inheritance

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Carré, Bernard Geib, Jean-Marc Laboraloire d'Lnformatique Fonclainentale de Lille UA C.N.R.S. 369 Universilé des Sciences et Techniques de Lille Flandres Artois Bât. M3 Villeneuve d'Ascq Cedex59655 France

ISBN: (纸本)0897914112

We examine several problems related to the preservation of the Independence Principle in Multiple Inheritance. This principle states that all the characteristics of independent superclasses must be inherited by subclasses, even if there are name conflicts. In this context, a conventional approach is to use explicit class selection. We show that this mechanism suffers from serious limitations, and leads to inhibition of refinement and genericity. Our experimental object-oriented language Rome introduces the "Point of View" notion (using an "as-expressions" mechanism) which solves these problems. © 1990 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

PCLOS - STRESS-TESTING CLOS - EXPERIENCING THE METAobject PROTOCOL 90

PCLOS - STRESS-TESTING CLOS - EXPERIENCING THE METAOBJECT PR...

引用

CONF ON object-oriented programming : systems, languages, AND applications / EUROPEAN CONF ON object-oriented programming ( ECOOP 90 )

作者： PAEPCKE, A HEWLETT PACKARD CO PALO ALTOCA 94304

ISBN: (纸本)9780897914116

This paper demonstrates that the CLOS metaobject protocol approach to defining and implementing an object model is very powerful. CLOS is an object-oriented language that is based on Common Lisp and is in the process of being standardized. Implementations of CLOS are themselves object-oriented with all major building blocks of the language being instances of system classes. A metaobject protocol provides a framework for CLOS implementations by specifying the hierarchy of these classes and the order and contents of the communication among their instances. This design has made CLOS both flexible and portable, two design goals that traditionally conflict. In support of this suggestion we present a detailed account of how we added object persistence to CLOS without modifying any of the language's implementation code.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Actors as a special case of concurrent constraint programming

Actors as a special case of concurrent constraint programmin...

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Kahn, Kenneth M. Saraswat, Vijay A. Xerox Palo Alto Research Center 3333 Coyote Hill Road Palo AltoCA94304 United States

ISBN: (纸本)0897914112

Saraswat recently introduced the framework of concurrent constraint programming [14]. The essence of the framework is that computations consist of concurrent agents interacting by communicating constraints. Several concurrent constraint programming languages have been defined. They differ in the kinds of constraints that can be used as well as the kinds of operations on constraints which are available. In this paper we introduce a very simple concurrent constraint language we call Lucy, designed to closely mimic the actor model of computation. Agents can communicate only by the posting of constraints upon bags (unordered collections possibly with duplicate elements). This very impoverished concurrent constraint language is a syntactic subset of Janus, a concurrent constraint language which closely resembles concurrent logic programming languages such as Guarded Horn Clauses [21], Strand [5], Parlog [2] and Flat Concurrent Prolog [13]. By identifying the subset of Janus which is an actor language, we elucidate the relationship between actors and concurrent logic programming (and its generalization as concurrent constraint programming). Lucy is best not thought of as a unification of logic and constraint programming with actor and *** programming, but as the missing link between these programming language genera. © 1990 ACM.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

Strong typing of object-oriented languages revisited 90

Strong typing of object-oriented languages revisited

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Madsen, Ole Lehrmann Magnusson, Boris Møller-Pedersen, Birger Computer Science Department Aarhus University Ny Munkegade Aaihus CDK-8000 Denmark Department of Computer Science University of Lund PoBox 118 LundS-22100 Sweden Norwegian Computing Center Blindern P.O. Box 114 Oslo 3N-0314 Norway

ISBN: (纸本)0897914112

This papei is concerned with the relation between sub-typing and subclassing and their influence on programming language design. Traditionally subclassing as introduced by Simula has also been used for defining a hierarchical type system. The type system of a language can be characterized as strong or weak and the type checking mechanism as static or dynamic. Parameterized classes in combination with a hierarchical type-system is an example of a language construct that is known to create complicated type checking situations. In this paper these situations are analyzed and several different solutions are found. It is argued that an approach with a combination of static and dynamic type checking gives a reasonable balance also here. It is also concluded that this approach makes it possible to base the type system on the class/subclass mechanism. © 1990 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The performance of an object-oriented threads package 90

The performance of an object-oriented threads package

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Faust, John E. Levy, Henry M. Department of Computer Science and Engineering University of Washington SeattleWA98195 United States

ISBN: (纸本)0897914112

Presto is an object-oriented threads package for writing parallel programs on a shared-memory multiprocessor. The system adds thread objects and synchronization objects to C++ to allow programmers to create and control parallelism. Presto's object-oriented structure, along with its user-level thread implementation, simplifies customization of thread management primitives to meet application-specific needs. The performance of thread primitives is crucial for parallel programs with fine-grained structure;therefore, the principal objective of this effort was to substantially improve Presto's performance under heavy loads without sacrificing the benefits of its object-oriented interface. We discuss design and implementation issues for shared-memory multiprocessors, and the performance impact of various designs is shown through measurements on a 20-processor Sequent Symmetry multiprocessor. © 1990 ACM.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Mixin-based inheritance 90

Mixin-based inheritance

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Bracha, Gilad Cook, William Department of Computer Science University of Utah Salt Lake CityUT84112 United States Hewlett-Packard Laboratories 1501 Page Mill Road Palo AltoCA94303-0969 United States

ISBN: (纸本)0897914112

The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in the direction of class hierarchy growth. These inheritance mechanisms are subsumed in a new inheritance model based on composition of mix-ins, or abstract subclasses. This form of inheritance can also encode a CLOS multiple-inheritance hierarchy, although changes to the encoded hierarchy that would violate encapsulation are difficult. Practical application of mixin-based inheritance is illustrated in a sketch of an extension to Modula-3. © 1990 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Kaleidoscope: Mixing objects, constraints, and imperative programming 90

Kaleidoscope: Mixing objects, constraints, and imperative pr...

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Freeman-Benson, Bjorn N. University of Washington Dept. of Comp. Sci and Eng. FR-35 SeattleWA98195 United States Université de Nantes France

ISBN: (纸本)0897914112

Kaleidoscope is an object-oriented language being designed to integrate the traditional imperative object-oriented paradigm with the less traditional declarative constraint paradigm. Imperative state changes provide sequencing while declarative constraints provide object relations. A variables as streams semantics enables the declarative-imperative integration. A running example is used to illustrate the language concepts-a reimplementation of the Mac-Draw II dashed-lines dialog box. The example is in three parts: the input channel, using imperative code to sequence through modes;the output channel, using constraints to update the display;and the internal relations, using constraints to maintain the data objects' consistency requirements. The last sections of the paper discuss views as a natural result of combining objects with constraints, as well as related and future work. © 1990 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Type consistency of queries in an object-oriented database system 90

Type consistency of queries in an object-oriented database s...

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Straube, Dave D. Tamer Özsu, M. Laboratory for Database Systems Research Department of Computing Science University of Alberta EdmontonABT6G 2H1 Canada Banyan Systems Inc. 115 Flanders Road WestboroMA01581 United States

ISBN: (纸本)0897914112

Queries in object-oriented databases can return non-homogeneous sets of objects when no type restrictions are placed on the inputs to the query. The tradition has been to force homogeneity on the result by restricting the types of the inputs. This restricts the range of permissible, and possibly useful, queries. We propose a type consistency theory for queries in object-oriented databases which supports the existence of multiple types in the query result. The technique is illustrated by developing type inference rules for an object algebra. The main result is that the loss of type information associated with a query operation is reduced in most cases. We also show how type information is increased when queries are qualified by conjunctive predicates. © 1990 ACM.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

A logical theory of concurrent objects 90

A logical theory of concurrent objects

引用

1990 European conference on object-oriented programming on object-oriented programming systems, languages, and applications, oopsla/ECOOP 1990

作者： Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University StanfordCA94305 United States

ISBN: (纸本)0897914112

A new theory of concurrent objects is presented. The theory has the important advantage of being based directly on a logic called rewriting logic in which concurrent object-oriented computation exactly corresponds to logical deduction. This deduction is performed by concurrent rewriting modulo structural axioms of associativity, commutativity and identity that capture abstractly the essential aspects of communication in a distributed object-oriented configuration made up of concurrent objects and messages. Thanks to this axiomatization, it becomes possible to study the behavior of concurrent objects by formal methods in a logic intrinsic to their computation. The relationship with Actors and with Dther models of concurrent computation is also discussed. A direct fruit of this theory is a new language, called Maude, to program concurrent object-oriented modules in an entirely declarative way using rewriting logic;modules written in this language are used to illustrate the main ideas with examples. Maude contains OBJ3 as a functional sublanguage and provides a simple and semantically rigorous integration of functional programming and concurrent object-oriented programming. © 1990 ACM.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 127 128 129 130 131 132 133 134 135 136 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：