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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

590 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

438 篇 工学
- 383 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

608 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 613 条记录，以下是61-70 订阅

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

详细简洁

排序：

24th International conference on Foundations of Software Science and Computation Structures, FOSSACS 2021 held as part of the european Joint conferences on theory and Practice of Software, ETAPS 2021

24th International Conference on Foundations of Software Sci...

引用

24th International conference on Foundations of Software Science and Computation Structures, FOSSACS 2021 held as part of the european Joint conferences on theory and Practice of Software, ETAPS 2021

ISBN: (纸本)9783030719944

the proceedings contain 28 papers. the special focus in this conference is on Foundations of Software Science and Computation Structures. the topics include: Finding cut-offs in leaderless rendez-vous protocols is easy;fixpoint theory – upside down;"Most of" leads to undecidability: Failure of adding frequencies to LTL;combining semilattices and semimodules;one-way resynchronizability of word transducers;fair refinement for asynchronous session types;running time analysis of broadcast consensus protocols;leafy automata for higher-order concurrency;factorization in call-by-name and call-by-value calculi via linear logic;generalized bounded linear logic and its categorical semantics;focused proof-search in the logic of bunched implications;interpolation and amalgamation for arrays with maxdiff;adjoint reactive gui programming;on the expressiveness of büchi arithmetic;learning pomset automata;parametricity for primitive nested types;the spirit of node replication;nondeterministic and co-nondeterministic implies deterministic, for data languages;certifying inexpressibility;a general semantic construction of dependent refinement type systems, categorically;simple stochastic games with almost-sure energy-parity objectives are in np and conp;nondeterministic syntactic complexity;a string diagrammatic axiomatisation of finite-state automata;work-sensitive dynamic complexity of formal languages;the structure of sum-over-paths, its consequences, and completeness for clifford;a quantified coalgebraic van benthem theorem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 10th International Workshop on Context-oriented programming: Advanced Modularity for Run-time Composition, COP 2018 - Co-located with the european conference on object-oriented programming

Proceedings of the 10th International Workshop on Context-Or...

引用

10th International Workshop on Context-oriented programming: Advanced Modularity for Run-time Composition, COP 2018 - Co-located with the european conference on object-oriented programming

ISBN: (纸本)9781450357227

the proceedings contain 6 papers. the topics discussed include: declarative language for context activation;a context-oriented programming approach to dependency hell;feature visualizer: an inspection tool for context-oriented programmers;a simple context-oriented programming extension to an FRP language for small-scale embedded systems;activity contexts: improving modularity in blockchain-based smart contracts using context-oriented programming;and cross-cutting commentary: narratives for multi-party mechanisms and concerns.

关键词：

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 13th International Workshop on Implementation, Compilation, Optimization of object-oriented Languages, Programs and Systems, ICOOOLPS 2018 - Co-located with the european conference on object-oriented programming

Proceedings of the 13th International Workshop on Implementa...

引用

13th International Workshop on Implementation, Compilation, Optimization of object-oriented Languages, Programs and Systems, ICOOOLPS 2018 - Co-located with the european conference on object-oriented programming

ISBN: (纸本)9781450358040

the proceedings contain 5 papers. the topics discussed include: assessing primitives performance on multi-stage execution;maintaining canonical form after edge deletion;extending SHAPES for SIMD architectures - an approach to native support for struct of arrays in languages;GraalSqueak: a fast SmallTalk bytecode interpreter written in an AST interpreter framework;and shared memory implementations of protocol programming languages, data-race-free.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the impact of object immutability on the Java class size 24

The impact of object immutability on the Java class size

引用

24th KES International conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2020

作者： Bugayenko, Yegor Zykov, Sergey Huawei Technologies Co. Ltd. Moscow Russia Higher School of Economics Moscow Russia

According to the subjective opinions of many industry experts, object immutability is a virtue in object-oriented programming, since it leads to side-effect-free design, cleaner code, better concurrency, and many other factors. However, it has never been empirically demonstrated exactly how immutability affects quality metrics of object-oriented programs. In the following research, we analyzed 97508 classes from 240 public Java repositories to find out how immutability affects the size of the code. © 2020 the Authors. Published by Elsevier B.V.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

What is in a name? An analysis of associations among java packaging and artifact names 15

What is in a name? An analysis of associations among java pa...

引用

15th european conference on Software Architecture - Companion, ECSA-C 2021

作者： Toosi, Farshad Ghassemi Mjeda, Anila Computer Science Department Munster Technological University Cork Campus Ireland

Modern programming Languages (object oriented Languages), are equipped with sophisticated mechanisms to assist developers in organizing the source code. For instance, Java and Python use package names to resolve symbols. In Java, a package is a namespace declared at the top of each class or interface. there are several reasons for using packages in the source code: 1) Packages can prevent naming conflicts, (e.g., identical class name in two packages is possible with no conflict). 2) Packages can categorize the relevant and/or similar classes or interfaces in some conceptual and logical containers that assist developers in easier maintenance and a better understanding of the design of the software’s architecture. 3) Structured packaging is one of the core components of a clean architecture design. Developers may apply different strategies to structure the packages and these differences have repercussions in the quality and maintainability of the software architecture. In this work, we run a set of experiments on a number of open-source Java projects and analyse the packaging structures from a source-code structural and artifact (class, method, variable) names perspective. these experiments aim to investigate 1) the existence of any associations between the packaging structure and textual factors (artefact names) of the classes inside the package;and 2) what textual factors (artifact names) tend to be more associated with the package structure. the results of this research indicate that, on average, class names and inheritance (supper class names) tend to be considered as a packaging strategy. the focus on identifying ‘naturally’ occurring similarities in the packaging of software in the ‘wild’ is underpinned by the long-term objective to build developer-friendly architecture conformance protocols which help prevent architectural erosion. © 2021 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards an order-aware object comparison 20

Towards an order-aware object comparison

引用

24th Brazilian Symposium on programming Languages, SBLP 2020, co-located with the Brazilian conference on Software: theory and Practice, CBSoft 2020

作者： Sofiato, Bruno Siqueira, Fábio Levy De Azevedo Rocha, Ricardo Luis Universidade de São Paulo São Paulo Brazil

ISBN: (纸本)9781450389433

As several studies show, code that compares objects is a known source of bugs in object-oriented languages. One of the causes is that multiple methods handle comparison. Another cause is more insidious and has its roots in how these languages control method invocation. Both the literature and the industry have proposals to deal with the problem. they either enforce hard constraints or do not handle all situations. Moreover, none of them deal with the ordering aspect of comparison. We propose a declarative approach to object comparison that handles ordering, and is language agnostic. We created a prototype in Java and evaluated its impacts on the software quality of applications in the DaCapo benchmark suite. the benefits were measured based on the ISO/IEC 25010 product quality model. Results suggest that the overall quality of the software improved, despite the deterioration of performance. © 2020 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

C Patterns on Data Lifetime and Ownership 19

C Patterns on Data Lifetime and Ownership

引用

24th european conference on Pattern Languages of Programs (EuroPLoP)

作者： Preschern, Christopher B&R Ind Automat GmbH Eggelsberg Austria

ISBN: (纸本)9781450362061

Design patterns are well known for object-oriented languages. However, when it comes to procedural programming languages, like for example C, then most of the knowledge documented in form of design patterns cannot be used, because these patterns focus on object-oriented languages and in C you do not have mechanisms like a constructor, a destructor, inheritance, or public and private variables in form of memory dedicated to an object. Despite of that, also C programmers group their functionality into object-like elements which have their own dedicated memory and in C the programmers then have to put special attention on the lifetime and ownership of these object-like elements. this paper shows in form of patterns how C programmers can do that. the pattern STATELESS SOFTWARE-MODULE describes, how related functions, which don't share any information between the function calls, can be put together. SOFTWARE-MODULE WIth GLOBAL STATE describes, how related functions can be put together as soon as they share information. CALLER-OWNED INSTANCE describes how multiple object-like elements can be created and distributed to different callers. SHARED INSTANCE describes how the same can be achieved with additionally making it possible to share object-like elements between callers. the four presented patterns are throughout the paper applied to a running code example, to give hands-on advice on how C programmers can apply these patterns.

关键词： C programming patterns data lifetime ownership

来源：评论

学校读者我要写书评

暂无评论

Safe, flexible aliasing with deferred borrows 34

Safe, flexible aliasing with deferred borrows

引用

34th european conference on object-oriented programming, ECOOP 2020

作者： Fallin, Chris Mozilla Mountain ViewCA United States

ISBN: (纸本)9783959771542

In recent years, programming-language support for static memory safety has developed significantly. In particular, borrowing and ownership systems, such as the one pioneered by the Rust language, require the programmer to abide by certain aliasing restrictions but in return guarantee that no unsafe aliasing can ever occur. this allows parallel code to be written, or existing code to be parallelized, safely and easily, and the aliasing restrictions also statically prevent a whole class of bugs such as iterator invalidation. Borrowing is easy to reason about because it matches the intuitive ownership-passing conventions often used in systems languages. Unfortunately, a borrowing-based system can sometimes be too restrictive. Because borrows enforce aliasing rules for their entire lifetimes, they cannot be used to implement some common patterns that pointers would allow. Programs often use pseudo-pointers, such as indices into an array of nodes or objects, instead, which can be error-prone: the program is still memory-safe by construction, but it is not logically memory-safe, because an object access may reach the wrong object. In this work, we propose deferred borrows, which provide the type-safety benefits of borrows without the constraints on usage patterns that they otherwise impose. Deferred borrows work by encapsulating enough state at creation time to perform the actual borrow later, while statically guaranteeing that the eventual borrow will reach the same object it would have otherwise. the static guarantee is made with a path-dependent type tying the deferred borrow to the container (struct, vector, etc.) of the borrowed object. this combines the type-safety of borrowing with the flexibility of traditional pointers, while retaining logical memory-safety. © Chris Fallin.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Patterns for Returning Error Information in C 19

Patterns for Returning Error Information in C

引用

24th european conference on Pattern Languages of Programs (EuroPLoP)

作者： Preschern, Christopher B&R Ind Automat GmbH Eggelsberg Austria

ISBN: (纸本)9781450362061

Error handling is part of any industrial strength code. In programming languages like C, which have no support for enhanced error handling mechanisms like exceptions, error handling is a non-trivial task and many decisions on how to implement it have to be made. this paper documents best practices for these decisions as well as their benefits and liabilities in form of design patterns on the topic of how to return error information in the C programming language.

关键词： C programming patterns return error information

来源：评论

学校读者我要写书评

暂无评论

Apla Generic Constraint Matching Detection and Verification 24

Apla Generic Constraint Matching Detection and Verification

引用

24th International conference on Engineering of Complex Computer Systems (ICECCS)

作者： Zuo, Zhengkang Liu, Zhihao Wang, Changjing You, Zhen Hu, Qimin Jiangxi Normal Univ Sch Comp Informat Engn Nanchang Jiangxi Peoples R China Jiangxi Normal Univ Networked Supporting Software Int S&T Cooperat Ba Nanchang Jiangxi Peoples R China

ISBN: (纸本)9781728146461

the core of object-oriented programming (OOP) is the object, while the core of generic programming (GP) is the type requirement. Generic programming can improve the reusability, security and development efficiency of programs. Generic constraints can prevent run-time crashes of generic programs. Generics constraints and their matching mechanism in the mainstream programming languages are studied. the abstract degree of the current mainstream languages is not high enough to describe the complex dynamic semantic requirements. Abstract generic programming language Apla is used as the host language to propose a generic constraint method based on the type requirements of complete GP, including static syntax generic constraint and dynamic semantic generic constraint. A general generic constraint description language is given, a matching detection algorithm is designed to determine whether the static syntax generic constraints meet the requirements, and a matching verification mechanism is designed for dynamic semantic generic constraint verification. Finally, the whole process of matching detection and verification is demonstrated by taking Kleene algorithm as an example. the generic constraint mechanism can improve the security of the program. It further implements the GP concept with the type requirement as the core in the full sense.

关键词： generic programming type requirements Apla generic constraints constraints matching

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：