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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

24 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

17 篇 工学
- 15 篇 计算机科学与技术...
- 14 篇 软件工程
- 2 篇 电气工程
- 1 篇 信息与通信工程
- 1 篇 控制科学与工程
- 1 篇 环境科学与工程（可...
- 1 篇 生物工程
9 篇 理学
- 8 篇 数学
- 1 篇 生物学
1 篇 法学
- 1 篇 社会学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

6 篇 object oriented ...
2 篇 software enginee...
2 篇 computer communi...
2 篇 programming tech...
2 篇 programming lang...
2 篇 artificial intel...
2 篇 logics and meani...
1 篇 database-backed ...
1 篇 object-orientati...
1 篇 constraint logic...
1 篇 computer systems...
1 篇 test case genera...
1 篇 information mana...
1 篇 process algebra
1 篇 extensions of la...
1 篇 data flow analys...
1 篇 mathematical log...
1 篇 semantics
1 篇 performance anti...
1 篇 symbolic executi...

机构

2 篇 univ washington ...
1 篇 tech univ madrid...
1 篇 microsoft corp r...
1 篇 university of co...
1 篇 rensselaer polyt...
1 篇 software composi...
1 篇 acadia universit...
1 篇 delft univ techn...
1 篇 ibm res tj watso...
1 篇 aarhus universit...
1 篇 posnan universit...
1 篇 university of lu...
1 篇 univ complutense...
1 篇 univ genoa disi ...
1 篇 univ politecn va...
1 篇 gmd first
1 篇 university of ch...
1 篇 software technol...
1 篇 enst bretagne
1 篇 icteam institute...

作者

1 篇 peter deutsch l.
1 篇 oliveira bruno c...
1 篇 perin fabrizio
1 篇 park jongjoo
1 篇 osvald leo
1 篇 hirschfeld rober...
1 篇 in eunkyu
1 篇 puebla german
1 篇 yang junwen
1 篇 rodrigues luís
1 篇 milanova ana
1 篇 cahill vinny
1 篇 fernandez alexan...
1 篇 choukair zièd
1 篇 peshansky igor
1 篇 subramaniam pran...
1 篇 saraswat vijay
1 篇 pu cristian
1 篇 wieczerzycki wal...
1 篇 jang cheljon

语言

26 篇 英文

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

共 26 条记录，以下是11-20 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Scoping changes in self-supporting development environments using context-oriented programming

Scoping changes in self-supporting development environments ...

引用

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

作者： Lincke, Jens Hirschfeld, Robert Hasso-Plattner-Institut Universität Potsdam Germany

ISBN: (纸本)9781450312769

Interactive development in self-supporting systems like Smalltalk or the Lively Kernel allows for an explorative and direct development workflow. Because of the immediate and direct feedback loops, changes to core behavior can lead to accidentally breaking the programming tools themselves. By separating the tools from the objects they work on, this fatal self referentiality can be avoided, but at the expense of interactive development. In this paper we show how contextoriented programming (COP) can be used to separate tools from the objects under development. Instead of directly modifying meta-structures, changes should go into layers on top of these structures. Since layers can be scoped at run-time, changes do not affect the programming tools. We demonstrate this approach by showing examples of adapting core behavior in our self-supporting development environment Webwerkstatt with ContextJS, our COP extension for JavaScript. Copyright © 2012 ACM.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Pause 'n' Play: Formalizing Asynchronous C^# 12

Pause 'n' Play: Formalizing Asynchronous C<SUP>#</SUP>

引用

26th european conference on object-oriented programming (ecoop)

作者： Bierman, Gavin Russo, Claudio Mainland, Geoffrey Meijer, Erik Torgersen, Mads Microsoft Res Bangalore Karnataka India Microsoft Corp Redmond WA 98052 USA Delft Univ Technol Delft Netherlands

ISBN: (纸本)9783642310577;9783642310560

Writing applications that connect to external services and yet remain responsive and resource conscious is a difficult task. With the rise of web programming this has become a common problem. the solution lies in using asynchronous operations that separate issuing a request from waiting for its completion. However, doing so in common object-oriented languages is difficult and error prone. Asynchronous operations rely on callbacks, forcing the programmer to cede control. this inversion of control-flow impedes the use of structured control constructs, the staple of sequential code. In this paper, we describe the language support for asynchronous programming in the upcoming version of C-#. the feature enables asynchronous programming using structured control constructs. Our main contribution is a precise mathematical description that is abstract (avoiding descriptions of compiler-generated state machines) and yet sufficiently concrete to allow important implementation properties to be identified and proved correct.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Inference and Checking of object Ownership 12

Inference and Checking of Object Ownership

引用

26th european conference on object-oriented programming (ecoop)

作者： Huang, Wei Dietl, Werner Milanova, Ana Ernst, Michael D. Rensselaer Polytech Inst Troy NY 12181 USA Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9783642310577;9783642310560

Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two such systems: Universe Types and Ownership Types. We present an objective metric defining a "best typing" for these type systems, and develop an inference approach that maximizes the metric. the programmer can influence the inference by adding partial annotations to the program. We implemented the approach on top of the Checker Framework and present the results of an experimental evaluation.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

ecoop 2012 – object-oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： James Noble

ISBN: (数字)9783642310577

ISBN: (纸本)9783642310560

this book constitutes the refereed proceedings of the 26th european conference on object-oriented programming, ecoop 2012, held in Beijing, China, in June 2012. the 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. the papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.

关键词： programming Techniques Software Engineering programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Soundness of object-oriented Languages with Coinductive Big-Step Semantics 12

Soundness of Object-Oriented Languages with Coinductive Big-...

引用

26th european conference on object-oriented programming (ecoop)

作者： Ancona, Davide Univ Genoa DISI Genoa Italy

ISBN: (纸本)9783642310577;9783642310560

It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem can be solved by interpreting coinductively the rules for the standard big-step operational semantics of a Java-like language, thus making the claim of soundness more intuitive: whenever a program is well-typed, its coinductive operational semantics returns a value. Indeed, coinduction allows non-terminating computations to return values;this is proved by showing that the set of proof trees defining the semantic judgment forms a complete metric space when equipped with a proper distance function. In this way, we are able to prove soundness of a nominal type system w.r.t. the coinductive semantics. Since the coinductive semantics is sound w.r.t. the usual small-step operational semantics, the standard claim of soundness can be easily deduced.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

object Initialization in X10 12

Object Initialization in X10

引用

26th european conference on object-oriented programming (ecoop)

作者： Zibin, Yoav Cunningham, David Peshansky, Igor Saraswat, Vijay Google Bangalore Karnataka India IBM Res TJ Watson Yorktown Hts NY USA

ISBN: (纸本)9783642310577;9783642310560

X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). object initialization is a cross-cutting concern that interacts with all of these features in delicate ways that may cause type, runtime, and security errors. this paper discusses possible designs for object initialization, and the "hardhat" design chosen and implemented in X10 version 2.2. Our implementation includes a fixed-point inter-procedural (intra-class) data-flow analysis that infers, for each method called during initialization, the set of fields that are read, and those that are asynchronously and synchronously assigned. Our codebase of more than 200K lines of code only had 104 annotations. Finally, we formalize the essence of initialization checking with an effect system intended to complement a standard FJ style formalization of the type system for X10. this system is substantially simpler than the masked types of [10], and it is more practical (for X10) than the free-committed types of [12]. this is the first formalization of a type and (flow-sensitive) effect system for safe initialization in the presence of concurrency constructs.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Extensibility for the Masses Practical Extensibility with object Algebras 12

Extensibility for the Masses Practical Extensibility with Ob...

引用

26th european conference on object-oriented programming (ecoop)

作者： Oliveira, Bruno C. D. S. Cook, William R. Natl Univ Singapore Singapore 117548 Singapore Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9783642310577;9783642310560

this paper presents a new solution to the expression problem (EP) that works in OO languages with simple generics (including Java or C#). A key novelty of this solution is that advanced typing features, including F-bounded quantification, wildcards and variance annotations, are not needed. the solution is based on object algebras, which are an abstraction closely related to algebraic datatypes and Church encodings. object algebras also have much in common with the traditional forms of the Visitor pattern, but without many of its drawbacks: they are extensible, remove the need for accept methods, and do not compromise encapsulation. We show applications of object algebras that go beyond toy examples usually presented in solutions for the expression problem. In the paper we develop an increasingly more complex set of features for a mini-imperative language, and we discuss a real-world application of object algebras in an implementation of remote batches. We believe that object algebras bring extensibility to the masses: object algebras work in mainstream OO languages, and they significantly reduce the conceptual overhead by using only features that are used by everyday programmers.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Extensions during software evolution: Do objects meet their promise? 12

Extensions during software evolution: Do objects meet their ...

引用

26th european conference on object-oriented programming, ecoop 2012

作者： Robbes, Romain Röthlisberger, David Tanter, Éric University of Chile Chile

ISBN: (纸本)9783642310560

As software evolves, data types have to be extended, possibly with new data variants or new operations. object-oriented design is well-known to support data extensions well. In fact, most popular books showcase data extensions to illustrate how objects adequately support software evolution. Conversely, operation extensions are typically better supported by a functional design. A large body of programming language research has been devoted to the challenge of properly supporting both kinds of extensions. While this challenge is well-known from a language design standpoint, it has not been studied empirically. We perform such a study on a large sample of Smalltalk projects (over half a billion lines of code) and their evolution over more than 100,000 committed changes. Our study of extensions during software evolution finds that extensions are indeed prevalent evolution tasks, and that both kinds of extensions are equally common in object-oriented software. We also discuss findings about the evolution of the kinds of extensions over time, and about the viability of the Visitor pattern as an object-oriented solution to operation extensions. this study suggests that object-oriented design alone is not sufficient, and that practical support for both kinds of program decomposition approaches are in fact needed, either by the programming language or by the development environment. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ecoop 2011 – object-oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Mira Mezini

ISBN: (数字)9783642226557

ISBN: (纸本)9783642226540

this book constitutes the refereed proceedings of the 25th european conference on object-oriented programming, ecoop 2011, held in Lancaster, UK, in July 2011. the 26 revised full papers, presented together with three keynote lectures were carefully reviewed and selected from a total of 100 submissions. the papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.

关键词： programming Techniques Software Engineering programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：