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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

865 篇 电子文献
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 篇 英文
115 篇 其他
2 篇 中文
1 篇 俄文

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

共 865 条记录，以下是601-610 订阅

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

详细简洁

排序：

Variant path types for scalable extensibility 07

Variant path types for scalable extensibility

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Igarashi, Atsushi Viroli, Mirko Kyoto Univ Kyoto Japan Univ Bologna Alma Mater Studiorum Bologna Italy

ISBN: (纸本)9781595937865

Much recent work in the design of object-oriented programming languages has been focusing on identifying suitable features to support so-called scalable extensibility, where the usual extension mechanism by inheritance works in different scales of software components - that is, classes, groups of classes, groups of groups and so on. Its typing issues has usually been addressed by means of dependent type systems, where nested types are seen as properties of objects. In this work, we seek instead for a different solution, which can be more easily applied to Java-like languages, in which nested types are considered properties of classes. We introduce the mechanism of variant path types, which provide a flexible means to express intra-group relationship (among classes) that has to be preserved through extension. In particular, improving and extending existing works on groups and exact types, we feature the new notions of exact and inexact qualifications, providing rich abstractions to express various kinds of set of objects, with a flexible subtyping scheme. We formalize a safe type system for variant path types on top of Featherweight Java. Our development results in a complete solution for scalable extensibility, similarly to previous attempts based on dependent type systems.

关键词： design languages theory scalable extensibility subtyping variance variant path types

来源：评论

学校读者我要写书评

暂无评论

Mirages: Behavioral intercession in a mirror-based architecture

Mirages: Behavioral intercession in a mirror-based architect...

引用

2007 acm sigplan international conference on object-oriented programming, systems, languages and Applications, OOPSLA - 2007 Dynamic languages Symposium, DLS

作者： Mostinckx, Stijn Van Cutsem, Tom Timbermont, Stijn Tanter, Éric Programming Technology Lab. Vrije Universiteit Brussel Belgium Computer Science Dept. DCC/CWR University of Chile Chile

ISBN: (纸本)9781595938688

Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects and whose structure and design corresponds to the system being mirrored. However, support for behavioral intercession has been limited in contemporary mirror-based architectures, in spite of its many interesting applications. This is due to the fact that mirror-based architectures only support explicit reflection, while behavioral intercession requires implicit reflection. This work reconciles mirrors with behavioral intercession. We discuss the design of a mirror-based architecture with implicit mirrors that can be absorbed in the interpreter, and mirages, base objects whose semantics are defined by implicit mirrors. We describe and illustrate the integration of this reflective architecture for the distributed object-oriented programming language AmbientTalk. © 2007 acm.

关键词： Mirrors

来源：评论

学校读者我要写书评

暂无评论

Dependent classes 07

Dependent classes

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Gasiunas, Vaidas Mezini, Mira Ostermann, Klaus Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781595937865

Virtual classes allow nested classes to be refined in subclasses. In this way nested classes can be seen as dependent abstractions of the objects of the enclosing classes. Expressing dependency via nesting, however, has two limitations: Abstractions that depend on more than one object cannot be modeled and a class must know all classes that depend on its objects. This paper presents dependent classes, a generalization of virtual classes that expresses similar semantics by parameterization rather than by nesting. This increases expressivity of class variations as well as the flexibility of their modularization. Besides, dependent classes complement multimethods in scenarios where multi-dispatched abstractions rather than multi-dispatched methods are needed. They can also be used to express more precise signatures of multimethods and even extend their dispatch semantics. We present a formal semantics of dependent classes and a machine-checked type soundness proof in Isabelle/HOL [29], the first of this kind for a language with virtual classes and path-dependent types.

关键词： languages theory dependent classes virtual classes dynamic dispatch multiple dispatch multimethods variability

来源：评论

学校读者我要写书评

暂无评论

An adaptive package management system for scheme

An adaptive package management system for scheme

引用

2007 acm sigplan international conference on object-oriented programming, systems, languages and Applications, OOPSLA - 2007 Dynamic languages Symposium, DLS

作者： Serrano, Manuel Gallesio, Erick Inria Sophia Antipolis 2004 route des Lucioles F-06902 Sophia Antipolis Cedex France Inria Sophia Antipolis University of Nice Sophia-Antipolis 930 route des Colles F-06903 Sophia Antipolis Cedex France

ISBN: (纸本)9781595938688

This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distributions. It downloads, installs, and prepares source codes for execution. It manages the dependencies between packages. The main characteristic of this system is its neutrality with respect to the various Scheme implementations. It is neutral with respect to the language extensions that each Scheme implementation proposes and with respect to the execution environment of these implementations. This allows the programmer to blend, within the same program, independent components which have been developed and tested within different Scheme implementations. ScmPkg is available at: http://***/scmpkg. © 2007 acm.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Transactions with isolation and cooperation 07

Transactions with isolation and cooperation

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Smaragdakis, Yannis Kay, Anthony Behrends, Reimer Young, Michal Univ Oregon Dept Comp & Informat Sci Eugene OR 97403 USA

ISBN: (纸本)9781595937865

We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to observe the effects of other threads at selected points. This allows transactions to cooperate, as well as to invoke non-repeatable or irreversible operations, such as I/O. Cooperating transactions run the danger of exposing intermediate state and of having other threads change the transaction's state. The TIC model protects against unanticipated interference by having the type system keep track of all operations that may (transitively) violate the atomicity of a transaction and require the programmer to establish consistency at appropriate points. The result is a programming model that is both general and simple. We have used the TIC model to re-engineer existing lock-based applications including a substantial multi-threaded web mail server and a memory allocator with coarse-grained locking. Our experience confirms the features of the TIC model: It is convenient for the programmer, while maintaining the benefits of transactional memory.

关键词： design languages transactional memory nested transactions open-nesting TIC punctuation

来源：评论

学校读者我要写书评

暂无评论

The JastAdd Extensible Java Compiler 07

The JastAdd Extensible Java Compiler

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Ekman, Torbjorn Hedin, Gorel Univ Oxford Programming Tools Grp Oxford England Lund Univ Dept Comp Sci S-22100 Lund Sweden

ISBN: (纸本)9781595937865

The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, and to extend Java with new language constructs. It is built modularly, with a Java 1.4 compiler that is extended to a Java 5 compiler. Example applications that are built as extensions include an alternative backend that generates Jimple, an extension of Java with AspectJ constructs, and the implementation of a pluggable type system for non-null checking and inference. The system is implemented using JastAdd, a declarative Java-like language. We describe the compiler architecture, the major design ideas for building and extending the compiler, in particular, for dealing with complex extensions that affect name and type analysis. Our extensible compiler compares very favorably concerning quality, speed and size with other extensible Java compiler frameworks. It also compares favorably in quality and size compared with traditional non-extensible Java compilers, and it runs within a factor of three compared to javac.

关键词： design languages OOP compilers extensibility declarative frameworks modularity Java

来源：评论

学校读者我要写书评

暂无评论

Tools for enforcing and inferring reference immutability in java

Tools for enforcing and inferring reference immutability in ...

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Correa Jr., Telmo Luis Quinonez, Jaime Ernst, Michael D. MIT Computer Science and Artificial Intelligence Lab Cambridge MA United States

Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a javac plug-in that enforces the Javari type... 详细信息

ISBN: (纸本)9781595938657

关键词： object detection

来源：评论

学校读者我要写书评

暂无评论

StreamFlex: High-throughput stream programming in Java 07

StreamFlex: High-throughput stream programming in Java

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Spring, Jesper H. Privat, Jean Guerraoui, Rachid Vitek, Jan Ecole Polytech Fed Lausanne Lausanne Switzerland Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA IBM Corp San Jose CA 95114 USA

ISBN: (纸本)9781595937865

The stream programming paradigm aims to expose coarse-grained parallelism in applications that must process continuous sequences of events. The appeal of stream programming comes from its conceptual simplicity. A program is a collection of independent filters which communicate by the means of uni-directional data channels. This model lends itself naturally to concurrent and efficient implementations on modern multiprocessors. As the output behavior of filters is determined by the state of their input channels, stream programs have fewer opportunities for the errors (such as data races and deadlocks) that plague shared memory concurrent programming. This paper introduces STREAMFLEX, an extension to Java which marries streams with objects and thus enables to combine, in the same Java virtual machine, stream processing code with traditional object-oriented components. STREAMFLEX targets high-throughput low-latency applications with stringent quality-of-service requirements. To achieve these goals, it must, at the same time, extend and restrict Java. To allow for program optimization and provide latency guarantees, the STREAMFLEX compiler restricts Java by imposing a stricter typing discipline on filters. On the other hand, STREAMFLEX extends the Java virtual machine with real-time capabilities, transactional memory and type-safe region-based allocation. The result is a rich and expressive language that can be implemented efficiently.

关键词： languages experimentation. real-time systems Java virtual machine memory management ownership types stream processing

来源：评论

学校读者我要写书评

暂无评论

Notation and representation in collaborative object-oriented design: An observational study 07

Notation and representation in collaborative object-oriented...

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Dekel, Uri Herbsleb, James D. Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)9781595937865

Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design collaborations suggest that teams tend to use physical mediums to sketch a plethora of informal diagrams in varied representations that often diverge from UML. To better understand such collaborations and support them with tools, we need to understand the origins, roles, uses, and implications of these alternate representations. To this end we conducted observational studies of collaborative design exercises, in which we focused on representation use. Our primary finding is that teams intentionally improvise representations and organize design information in response to ad-hoc needs, which arise from the evolution of the design, and which are difficult to meet with fixed standard notations. This behavior incurs orientation and grounding difficulties for which teams compensate by relying on memory, other communication mediums, and contextual cues. Without this additional information the artifacts are difficult to interpret and have limited documentation potential. Collaborative design tools and processes should therefore focus on preserving contextual information while permitting unconstrained mixing and improvising of notations.

关键词： design documentation human factors representation notation modeling collaborative software design UML OOD

来源：评论

学校读者我要写书评

暂无评论

Refactoring support for the C++ development tooling

Refactoring support for the C++ development tooling

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Graf, Emanuel Zgraggen, Guido Sommerlad, Peter IFS Institute for Software HSR Rapperswil Oberseestr. 10 CH-8640 Rapperswil Switzerland

ISBN: (纸本)9781595938657

This article reveals our work on refactoring plug-ins for Eclipse's C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately it has been lacking of overarching refactoring support. There used to be just one single refactoring - Rename. But our plug-in provides several new refactorings which support a C++ developer in his everyday work.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 57 58 59 60 61 62 63 64 65 66 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：