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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

12 篇 会议

馆藏范围

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

日期分布

学科分类号

10 篇 工学
- 9 篇 计算机科学与技术...
- 8 篇 软件工程
- 2 篇 电气工程
- 2 篇 信息与通信工程
- 1 篇 生物工程
4 篇 理学
- 3 篇 数学
- 1 篇 生物学
1 篇 法学
- 1 篇 社会学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

5 篇 object oriented ...
1 篇 object-oriented ...
1 篇 software reusabi...
1 篇 behavioral resea...
1 篇 software librari...
1 篇 directed graphs
1 篇 network manageme...
1 篇 object-oriented ...
1 篇 system recovery
1 篇 software mainten...

机构

1 篇 technische unive...
1 篇 university of co...
1 篇 worcester polyte...
1 篇 dipartimento di ...
1 篇 huawei
1 篇 univ saarland de...
1 篇 department of in...
1 篇 ben-gurion unive...
1 篇 department of co...
1 篇 university of ne...
1 篇 dipartimento di ...
1 篇 department of co...
1 篇 ecs victoria uni...
1 篇 univ lugano fac ...
1 篇 university of vi...
1 篇 dibris universit...
1 篇 bell-northern re...

作者

1 篇 merlo isabella
1 篇 he dongjie
1 篇 elyasaf achiya
1 篇 pezze mauro
1 篇 ashford colin
1 篇 gorla alessandra
1 篇 perino nicolo
1 篇 bertino elisa
1 篇 mattavelli andre...
1 篇 bessai jan
1 篇 heineman george ...
1 篇 ferrari elena
1 篇 borning alan
1 篇 zucca elena
1 篇 guerrini giovann...
1 篇 servetto marco
1 篇 chambers c
1 篇 xue jingling
1 篇 lu jingbo
1 篇 sturm arnon

语言

12 篇 英文

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

共 12 条记录，以下是1-10 订阅

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

详细简洁

排序：

35th european conference on object-oriented programming, ecoop 2021

35th European Conference on Object-Oriented Programming, ECO...

引用

35th european conference on object-oriented programming, ecoop 2021

ISBN: (纸本)9783959771900

the proceedings contain 22 papers. the topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flow analysis;gradual program analysis for null pointers;covariant conversions (CoCo): a design pattern for type-safe modular software evolution in object-oriented systems;ALPACAS: a language for parametric assessment of critical architecture safety;enabling additional parallelism in asynchronous JavaScript applications;differential privacy for coverage analysis of software traces;multiparty session types for safe runtime adaptation in an actor language;do bugs propagate? an empirical analysis of temporal correlations among software bugs;and linear promises: towards safer concurrent programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

?-based object-oriented programming 35

?-based object-oriented programming

引用

35th european conference on object-oriented programming, ecoop 2021

作者： Servetto, Marco Zucca, Elena Ecs Victoria University of Wellington New Zealand Dibris University of Genova Italy

ISBN: (纸本)9783959771900

We show that a minimal subset of Java 8 excluding classes supports a simple and natural programming style, which we call ?-based object-oriented programming. that is, on one hand the programmer can use tuples in place of objects (class instances), and tuples can be desugared to lambdas following their classical encoding in the ?-calculus. On the other hand, lambdas can be equipped with additional behaviour, thanks to the fact that they may implement interfaces with default methods, hence inheritance and dynamic dispatch are still supported. We formally describe the encoding by a translation from FJ?, an FJ variant including lambdas and interfaces with default methods, to FJ- ?, a subset of FJ? with no classes (hence no constructors and fields). We provide several examples illustrating this novel programming style. © 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

COP 2021 - Proceedings of the 13th ACM International Workshop on Context-oriented programming and Advanced Modularity, co-located with ecoop/ISSTA 2021

COP 2021 - Proceedings of the 13th ACM International Worksho...

引用

13th ACM International Workshop on Context-oriented programming and Advanced Modularity, COP 2021, co-located with the 35th european conference on object-oriented programming, ecoop 2021 and the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2021

ISBN: (纸本)9781450385428

the proceedings contain 3 papers. the topics discussed include: resolving synchronization conflicts in role-based multimodel-synchronization environments;first-class concepts: reifying architectural knowledge beyond the dominant decomposition;and towards a framework for analyzing context-oriented programming languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards a framework for analyzing context-oriented programming languages 13

Towards a framework for analyzing context-oriented programmi...

引用

作者： Elyasaf, Achiya Sturm, Arnon Ben-Gurion University of the Negev Beer-Sheva Israel

ISBN: (纸本)9781450385428

Context-aware systems keep on emerging in all of our daily activities. To cope with this new situation, programming languages were extended to support the notion of context. Although context-oriented programming languages exist for over 15 years, they were tested for their suitability in developing context-aware systems only to a limited extent. In this paper, we propose a framework for analyzing context-oriented languages from that viewpoint. In this framework, we refer to context definition and activation, reasoning capabilities, process aspects of how to work with the suggested extension, and pragmatic considerations. To demonstrate the use of the framework, we applied it to a relatively new context-oriented programming paradigm, namely context-oriented behavioral programming. the proposed framework can support users of context-oriented programming languages in deciding on the most fitted language for their purpose. Developers of context-oriented programming languages can also use the framework to improve such languages and their supporting tools. © 2021 ACM.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

object-oriented MULTIMEthODS IN CECIL 6th

引用

6th european CONF ON object-oriented programming ( ecoop 92 )

作者： CHAMBERS, C Department of Computer Science and Engineering FR-35 University of Washington Seattle 98195 WA United States

ISBN: (纸本)3540556680

Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, existing languages with multiple dispatching do not encourage the dataabstraction-oriented programming style that is encouraged by traditional single-dispatching languages;instead existing multiple-dispatching languages tend to foster a functionoriented programming style organized around generic functions. We propose an alternative view of multiple dispatching that is intended to promote a data-abstraction-oriented programming style. Instead of viewing a multi-method as “outside” of all objects, we view a multi-method as “inside” the objects for which the multi-method applies (on which it dispatches). Because objects are closely connected to the multi-methods implementing their operations, the internals of an object can be encapsulated by being accessible only to the closely-connected multi-methods. We are exploring this object-oriented view of multimethods in the context of a new programming language named Cecil. © Springer-Verlag Berlin Heidelberg 1992.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Accelerating object-sensitive pointer analysis by exploiting object containment and reachability 35

Accelerating object-sensitive pointer analysis by exploiting...

引用

35th european conference on object-oriented programming, ecoop 2021

作者： He, Dongjie Lu, Jingbo Gao, Yaoqing Xue, Jingling University of New South Wales Sydney Australia University of New South Wales Sydney Australia Huawei Toronto Canada University of New South Wales Sydney Australia

ISBN: (纸本)9783959771900

object-sensitive pointer analysis for an object-oriented program can be accelerated if contextsensitivity can be selectively applied to some precision-critical variables/objects in the program. Existing pre-analyses, which are performed to make such selections, either preserve precision but achieve limited speedups by reasoning about all the possible value flows in the program conservatively or achieve greater speedups but sacrifice precision (often unduly) by examining only some but not all the value flows in the program heuristically. In this paper, we introduce a new approach, named Turner, that represents a sweet spot between the two existing ones, as it is designed to enable object-sensitive pointer analysis to run significantly faster than the former approach and achieve significantly better precision than the latter approach. Turner is simple, lightweight yet effective due to two novel aspects in its design. First, we exploit a key observation that some precision-uncritical objects can be approximated based on the object-containment relationship pre-established (by applying Andersen's analysis). this approximation introduces a small degree yet the only source of imprecision into Turner. Second, leveraging this initial approximation, we introduce a simple DFA to reason about object reachability for a method intra-procedurally from its entry to its exit along all the possible value flows established by its statements to finalize its precision-critical variables/objects identified. We have validated Turner with an implementation in Soot against the state of the art using a set of 12 popular Java benchmarks and applications. © 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Covariant conversions (coco): A design pattern for type-safe modular software evolution in object-oriented systems 35

Covariant conversions (coco): A design pattern for type-safe...

引用

35th european conference on object-oriented programming, ecoop 2021

作者： Bessai, Jan Heineman, George T. Düdder, Boris Technische Universität Dortmund Germany Worcester Polytechnic Institute MA United States University of Copenhagen Denmark

ISBN: (纸本)9783959771900

Software evolution is an essential challenge for all software engineers, typically addressed solely using code versioning systems and language-specific code analysis tools. Most versioning systems view the evolution of a system as a directed acyclic graph of steps, with independent branches that could be merged. What these systems fail to provide is the ability to ensure stable APIs or that each subsequent evolution represents a cohesive extension yielding a valid system. Modular software evolution ensures that APIs remain stable, which is achieved by ensuring that only additional methods, fields, and data types are added, while treating existing modules through blackbox interfaces. Even with these restrictions, it must be possible to add new variations, fields, and methods without extensive duplication of prior module code. In contrast to most literature, our focus is on ensuring modular software evolution using mainstream object-oriented programming languages, instead of resorting to novel language extensions. We present a novel CoCo design pattern that supports type-safe covariantly overridden convert methods to transform earlier data type instances into their newest evolutionary representation to access operations that had been added later. CoCo supports both binary methods and producer methods. We validate and contrast our approach using a well-known compiler construction case study that other researchers have also investigated for modular evolution. Our resulting implementation relies on less boilerplate code, is completely type-safe, and allows clients to use normal object-oriented calling conventions. We also compare CoCo with existing approaches to the Expression Problem. We conclude by discussing how CoCo could change the direction of currently proposed Java language extensions to support closed-world assumptions about data types, as borrowed from functional programming. © 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

Extending the ODMG object model with time 12th

Extending the ODMG object model with time

引用

12th european conference on object-oriented programming, ecoop 1998

作者： Bertino, Elisa Ferrari, Elena Guerrini, Giovanna Merlo, Isabella Dipartimento di Scienze dell’Informazione Universita degli Studi di Milano Via Comelico 39/41 MilanoI20135 Italy Dipartimento di Informatica e Scienze dell’Informazione Universita di Genova Via Dodecaneso 35 GenovaI16146 Italy

ISBN: (纸本)3540647376

Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, extensions to the relational model have been proposed in the framework of SQL standards, whereas no attempts have been made to extend the standard for object-oriented databases, defined by ODMG. this paper presents T_ODMG, a temporal extension of the ODMG-93 standard data model. the main contributions of this work are, thus, the formalization of the ODMG standard data model and its extension with time. Another contribution of this work is the investigation, on a formal basis, of the main issues arising from the introduction of time in an object-oriented model. © Springer-Verlag Berlin Heidelberg 1998.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

Integrating constraints with an object-oriented language 6th

引用

6th european conference on object-oriented programming, ecoop 1992

作者： Freeman-Benson, Bjorn N. Borning, Alan University of Victoria Department of Computer Science P.O. Box 3055 VictoriaBCV8W 3P6 Canada Department of Computer Science and Engineering FR-35 University of Washington SeattleWA98195 United States

ISBN: (纸本)9783540556688

Constraints are declarative statements of relations among elements of the language’s computational domain, e.g., integers, booleans, strings, and other objects. Orthogonally, the tools of object-oriented programming, including encapsulation, inheritance, and dynamic message binding, provide important mechanisms for extending a language’s domain. Although the integration of constraints and objects seems obvious and natural, one basic obstacle stands in the way: objects provide a new, larger, computational domain, which the language’s embedded constraint solver must accommodate. In this paper we list some goals and non-goals for an integration of constraints and object oriented language features, outline previous approaches to this integration, and describe the scheme we use in Kaleidoscope’ 91, our object-oriented constraint imperative programming language. Kaleidoscope’91 uses a class-based object model, multi-methods, and constraint constructors to integrate cleanly the encapsulation and abstraction of a state-of-the-art object-oriented language with the declarative aspects of constraints. © Springer-Verlag Berlin Heidelberg 1992.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Workshop 'Business programming' - Critical Factors from Zero to Portable GUI programming in 4 Hours 35

Workshop 'Business Programming' - Critical Factors from Zero...

引用

35th IEEE International conference on Software Engineering Education and Training, CSEE and T 2023

作者： Flatscher, Rony G. Department of Information Systems and Operations Management Vienna Austria

ISBN: (纸本)9798350322026

At the Vienna University of Economics and Business Administration (WU), Bachelor students can learn programming from scratch and become able to create portable GUI programs for Windows, macOS and Linux in just one semester. this is possible within 60 hours (4 hours per week) of class attendance ('contact hours') and a total teaching load of 200 hours, which corresponds to 8 ECTS (european Credit Transfer System). Several critical success factors make this possible, including the course objectives, the course structure, the pedagogical principles, and finally the programming language used for teaching the introductory course [1]. © 2023 IEEE.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：