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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

577 篇 会议
25 册 图书
25 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

522 篇 工学
- 475 篇 计算机科学与技术...
- 416 篇 软件工程
- 33 篇 电气工程
- 23 篇 控制科学与工程
- 18 篇 信息与通信工程
- 7 篇 生物工程
- 5 篇 环境科学与工程（可...
- 4 篇 建筑学
- 4 篇 土木工程
- 4 篇 化学工程与技术
- 3 篇 机械工程
- 3 篇 电子科学与技术（可...
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 生物医学工程（可授...
87 篇 理学
- 62 篇 数学
- 11 篇 生物学
- 7 篇 物理学
- 7 篇 系统科学
- 5 篇 化学
36 篇 管理学
- 25 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
9 篇 教育学
- 9 篇 教育学
8 篇 法学
- 7 篇 社会学
- 1 篇 法学
3 篇 农学
- 3 篇 作物学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
- 2 篇 药学(可授医学、理...

主题

237 篇 object oriented ...
24 篇 software enginee...
24 篇 object-oriented ...
23 篇 programming tech...
18 篇 programming lang...
13 篇 semantics
13 篇 logics and meani...
12 篇 computer communi...
11 篇 aspect oriented ...
11 篇 artificial intel...
9 篇 software enginee...
9 篇 c++ (programming...
9 篇 database managem...
7 篇 specifications
7 篇 it in business
5 篇 computer softwar...
5 篇 calculations
5 篇 application prog...
5 篇 computer softwar...
5 篇 problem oriented...

机构

7 篇 victoria univers...
5 篇 carnegie mellon ...
4 篇 microsoft corp r...
4 篇 swiss fed inst t...
3 篇 victoria univ we...
3 篇 software composi...
3 篇 microsoft united...
3 篇 univ genoa disi ...
3 篇 university of to...
3 篇 object technolog...
3 篇 eth zurich
3 篇 university of ch...
3 篇 i.b.m. thomas j....
3 篇 univ geneva obje...
3 篇 independent soft...
3 篇 umeå university
3 篇 purdue univ dept...
3 篇 purdue universit...
2 篇 harvey mudd coll...
2 篇 universidad de m...

作者

16 篇 noble james
9 篇 vitek jan
6 篇 davis kei
6 篇 madsen ole lehrm...
6 篇 jul eric
5 篇 bosch j
5 篇 drossopoulou sop...
5 篇 de meuter wolfga...
5 篇 bruce kim b.
5 篇 ernst michael d.
5 篇 chambers c
5 篇 aldrich jonathan
5 篇 mens kim
5 篇 sahraoui houari ...
4 篇 hirschfeld rober...
4 篇 szyperski c
4 篇 ducasse stéphane
4 篇 homer michael
4 篇 ancona davide
4 篇 yonezawa akinori

语言

614 篇 英文
11 篇 其他
2 篇 中文

检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"

共 627 条记录，以下是241-250 订阅

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

详细简洁

排序：

Expressive pointcuts for increased modularity

Expressive pointcuts for increased modularity

引用

19th european conference on object-oriented programming

作者： Ostermann, K Mezini, M Bockisch, C Tech Univ Darmstadt D-64283 Darmstadt Germany

ISBN: (纸本)354027992X

In aspect-oriented programming, pointcuts are used to describe crosscutting structure. Pointcuts that abstract over irrelevant implementation details are clearly desired to better support maintainability and modular reasoning. We present an analysis which shows that current pointcut languages support localization of crosscutting concerns but are problematic with respect to information hiding. To cope with the problem, we present a pointcut language that exploits information from different models of program semantics, such as the execution trace, the syntax tree, the heap, static type system, etc., and supports abstraction mechanisms analogous to functional abstraction. We show how this raises the abstraction level and modularity of pointcuts and present first steps toward an efficient implementation by means of a static analysis technique.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A refinement algebra for object-oriented programming

引用

17th european conference on object-oriented programming (ecoop 2003)

作者： Borba, P Sampaio, A Cornélio, M Univ Fed Pernambuco Informat Ctr Recife PE Brazil

ISBN: (纸本)3540405313

In this article we introduce a comprehensive set of algebraic laws for ROOL, a language similar to sequential Java but with a copy semantics. We present a few laws of commands, but focus on the object-oriented features of the language. We show that this set of laws is complete in the sense that it is sufficient to reduce an arbitrary ROOL program to a normal form expressed in a restricted subset of the ROOL operators. We also propose a law for data refinement that generalises the technique from traditional modules to class hierarchies. Together, these laws are expressive enough to derive more elaborate rules that can be useful, for example, to formalize object-oriented design practices;this is illustrated through the systematic derivation of a refactoring from the proposed laws.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic object evolution without name collisions 11th

引用

11th european conference on object-oriented programming (ecoop 97)

作者： Mezini, M Univ Siegen Dept Elect Engn & Comp Sci FB 12 D-57068 Siegen Germany

ISBN: (纸本)3540630899

Support for modular evolution of objects is required in many application areas. However, existing mechanisms for incremental behavior composition either do not support evolving objects at all, or do not satisfactorily solve the encapsulation and name collision problems associated with them. In this paper, a new approach to behavior composition in a class-based environment is presented. It is based on the encapsulated object model of class-based inheritance, but introduces an additional abstraction layer between objects and classes. By being responsible for the compositional aspects of the behavior of objects, this layer provides support for the evolution of behavior while at the same time solving the name conflicts that may occur. A formal description of the approach is provided and its feasibility is demonstrated by implementing it as a metalevel extension of Smalltalk-80.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

AN object CALCULUS FOR ASYNCHRONOUS COMMUNICATION 5th

引用

5TH european CONF ON object-oriented programming ( ecoop 91 )

作者： HONDA, K TOKORO, M Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-ku Yokohama 223 Japan Sony Computer Science Laboratory Inc. 3-14-13 Higashi-Gotanda Shinagawa-ku Tokyo 141 Japan

ISBN: (纸本)3540542620

This paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner’s work on π-calculus, the communication primitive of the formal system is purely based on asynchronous communication, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner’s calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is strictly more general than its synchronous counterpart. This paper shows basic construction of the formal system along with several illustrative examples. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Modules as objects in Newspeak

Modules as Objects in Newspeak

引用

24th european conference on object-oriented programming (ecoop 2010)

作者： Bracha, Gilad von der Ahe, Peter Bykov, Vassili Kashai, Yaron Maddox, William Miranda, Eliot Ministry of Truth Australia Cadence Design Systems United States Adobe Systems Australia Teleplace United States

ISBN: (纸本)9783642141065

We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation even an object's own access to its internal structure is performed by invoking methods on objects. However, like Smalltalk, Newspeak is class-based. Classes can be nested arbitrarily, as in Beta [44]. Since all names denote method invocations, all classes are virtual;in particular, superclasses are virtual, so all classes act as mixins. Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Modularity in Newspeak is based exclusively on class nesting. There are no separate modularity constructs such as packages. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces. They can be instantiated into modules which may be stateful and mutually recursive.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

UpgradeJ: Incremental typechecking for class upgrades

引用

22nd european conference on object-oriented programming (ecoop 2008)

作者： Bierman, Gavin Parkinson, Matthew Noble, James Microsoft Research Cambridge University of Cambridge Victoria University of Wellington

ISBN: (纸本)9783540705918

One of the problems facing developers is the constant evolution of components that are used to build applications. This evolution is typical of any multi-person or multi-site software project. How can we program in this environment? More precisely, how can language design address Such evolution? In this paper we attack two significant issues that arise from constant component evolution: we propose language-level extensions that permit Multiple, co-existing versions of classes and the ability to dynamically upgrade from one version of a class to another, whilst still maintaining type safety guarantees and requiring only lightweight extensions to the runtime infrastructure. We show how our extensions, whilst intuitive, provide a great deal of power by giving a number of examples. Given the subtlety of the problem, we formalize a core fragment of our language and prove a number of important safety properties.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Copying and comparing: Problems and solutions 14th

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Grogono, P Sakkinen, M Concordia Univ Dept Comp Sci Montreal PQ H3G 1M8 Canada Tampere Univ Technol Software Syst Lab FIN-33101 Tampere Finland

ISBN: (纸本)3540676600

In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comparing objects and we address the problem of generating appropriate copying and comparing operations automatically, a service that is not provided by most object oriented languages and environments. Automatic generation appears to be not only desirable, because hand-coding these methods is mechanical and yet error-prone, but also feasible, because the form of the code is simple and largely predictable. Some languages and some object models presented in the literature do support generic copying and comparing, typically defining separate "shallow" and "deep" versions of both operations. A close examination of these definitions reveals inadequacies. Ii the objects involved are simple, copying and comparing them is straightforward. However, there are at least three areas in which insufficient attention has been given to copying and comparing complex objects: (1) values are not distinguished from objects;(2) aggregation is not distinguished from association;and (3) the correct handling of linked structures other than trees is neglected. Solving the third problem requires a mechanism built into the language, such as exists in Eiffel. Building such a mechanism without modifying the language requires a language with sufficient reflexive facilities, such as Smalltalk. Even then, the task is difficult and the result is likely to be insecure. We show that fully automatic generation of copying and comparing operations is not feasible because compilers and other software tools have access only to the structure of the objects and not to their semantics. Nevertheless, it is possible to provide default methods that do most of the work correctly and can be fine-tuned with a small additional amount of hand-coding. We include an example that illustrates the application of our proposals to C++. It is based on

关键词： copying cloning equality complex object structures

来源：评论

学校读者我要写书评

暂无评论

DynamicSchema: A lightweight persistency framework for context-oriented data management

DynamicSchema: A lightweight persistency framework for conte...

引用

4th International Workshop on Context-oriented programming, COP'12 - Co-located with the 26th european conference on object-oriented programming, ecoop'12

作者： Castro, Sergio González, Sebastián Mens, Kim Denker, Marcus ICTEAM Institute Université Catholique de Louvain Belgium INRIA Lille France

ISBN: (纸本)9781450312769

While context-oriented programming technology so far has focused mostly on behavioral adaptation, context-oriented data management has received much less attention. In this paper we make a case for the problem of context-oriented data management, using a concrete example of a mobile application. We illustrate some of the issues involved and propose a lightweight persistency framework, called Dynamic Schema, that resolves some of these issues. The solution consists in a flexible reification of the database schema, as a convenient dynamic data structure that can be adapted at execution time, according to sensed context changes. Implementing our mobile application using this framework enabled us to reduce the complexity of the domain modeling layer, to facilitate the production of code with low memory footprint, and to simplify the implementation of certain scenarios related to context-dependent security concerns. Copyright © 2012 ACM.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Regional logic for local reasoning about global invariants

引用

22nd european conference on object-oriented programming (ecoop 2008)

作者： Banerjee, Anindya Naumann, David A. Rosenberg, Stan Kansas State Univ Manhattan KS 66506 USA Microsoft Res Redmond WA 98052 USA Stevens Inst Technol Hoboken NJ 07030 USA

ISBN: (纸本)9783540705918

Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for error-avoiding partial correctness of programs Featuring shared Mutable objects. Using a first order assertion language, the logic provides heap-local reasoning about mutation and separation, via ghost fields and variables of type 'region' (finite sets of object references). A new form of modifies clause specifies write, read, and allocation effects using region expressions;this supports effect masking and a frame rule that allows a command to read state on which the framed predicate depends. Soundness is proved using a standard program semantics. The logic facilitates heap-local reasoning about object invariants: disciplines such as ownership are expressible but not hard-wired in the logic.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共63页 << < 21 22 23 24 25 26 27 28 29 30 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：