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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是41-50 订阅

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

详细简洁

排序：

Design Pattern for Reusing Immutable Methods in object-oriented Languages 23

Design Pattern for Reusing Immutable Methods in Object-Orien...

引用

proceedings of the 28th european conference on Pattern Languages of Programs

作者： William Flageol Yann-Gaël Guéhéneuc Mourad Badri Stefan Monnier Département de mathématiques et informatique Université du Québec à Trois-Rivières Canada and Computer Science and Software Engineering Concordia University Canada Computer Science and Software Engineering Concordia University Canada Département de mathématiques et informatique Université du Québec à Trois-Rivières Canada Département d'informatique et de recherche opérationnelle Université de Montréal Canada

ISBN: (纸本)9798400700408

Context. Features and styles inspired by functional programming have grown in popularity in the world of object-oriented programming. Immutability is a core concept of functional programming, which brings advantages to software development. However, introducing immutability in object-oriented programming presents some challenges. Problem. One of these challenges is method overriding. When inheriting non-destructive mutators (methods used on immutable objects which return a new object instead of modifying the receiver), a naive approach generates code duplication and has scalability issues. Contribution. We analyse an example of this overriding problem and propose a solution in a new design pattern based on the factory method pattern. We also discuss the advantages and limitations of this pattern, as well as implementations in Clojure, Java, and Kotlin. We also identify and discuss the language features that mostly affect the implementation of this pattern. Conclusion. Our proposed design pattern helps mitigate some of the code duplication and scalability problems of a naive approach. However, the inclusion of a functional updating language feature is required to completely remove the scalability issues.

关键词： design patterns functional programming immutability language features object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Functional programming with Datalog 36

Functional Programming with Datalog

引用

36th european conference on object-oriented programming, ECOOP 2022

作者： Pacak, André Erdweg, Sebastian JGU Mainz Germany

ISBN: (纸本)9783959772259

Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative fixpoint semantics: Datalog queries consist of simple Horn clauses, yet Datalog solvers efficiently compute all derivable tuples even for recursive queries. However, as we argue in this paper, Datalog is ill-suited as a programming language and Datalog programs are hard to write and maintain. We propose a "new" frontend for Datalog: functional programming with sets called functional IncA. While programmers write recursive functions over algebraic data types and sets, we transparently translate all code to Datalog relations. However, we retain Datalog's strengths: Functions that generate sets can encode arbitrary relations and mutually recursive functions have fixpoint semantics. We also ensure that the generated Datalog program terminates whenever the original functional program terminates, so that we can apply off-the-shelve bottom-up Datalog solvers. We demonstrate the versatility and ease of use of functional IncA by implementing a type checker, a program transformation, an interpreter of the untyped lambda calculus, two data-flow analyses, and clone detection of Java bytecode. © Andre Pacak and Sebastian Erdweg;licensed under Creative Commons License CC-BY 4.0

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Algebraic Replicated Data Types: programming Secure Local-First Software 37

Algebraic Replicated Data Types: Programming Secure Local-Fi...

引用

37th european conference on object-oriented programming, ECOOP 2023

作者： Kuessner, Christian Mogk, Ragnar Wickert, Anna-Katharina Mezini, Mira Technische Universität Darmstadt Germany hessian.AI Darmstadt Germany

ISBN: (纸本)9783959772815

this paper is about programming support for local-first applications that manage private data locally, but still synchronize data between multiple devices. Typical use cases are synchronizing settings and data, and collaboration between multiple users. Such applications must preserve the privacy and integrity of the user’s data without impeding or interrupting the user’s normal workflow – even when the device is offline or has a flaky network connection. From the programming perspective, availability along with privacy and security concerns pose significant challenges, for which developers have to learn and use specialized solutions such as conflict-free replicated data types (CRDTs) or APIs for centralized data stores. this work relieves developers from this complexity by enabling the direct and automatic use of algebraic data types – which developers already use to express the business logic of the application – for synchronization and collaboration. Moreover, we use this approach to provide end-to-end encryption and authentication between multiple replicas (using a shared secret), that is suitable for a coordination-free setting. Overall, our approach combines all the following advantages: it (1) allows developers to design custom data types, (2) provides data privacy and integrity when using untrusted intermediaries, (3) is coordination free, (4) guarantees eventual consistency by construction (i.e., independent of developer errors), (5) does not cause indefinite growth of metadata, (6) has sufficiently efficient implementations for the local-first setting. © Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, and Mira Mezini

关键词： Data privacy

来源：评论

学校读者我要写书评

暂无评论

A Predicate Construct for Declarative programming in Imperative Languages 22

A Predicate Construct for Declarative Programming in Imperat...

引用

24th International Symposium on Principles and Practice of Declarative programming, PPDP 2022

作者： Smith, James Guo, Xiangyu Bansal, Ajay Arizona State University MesaAZ United States

ISBN: (纸本)9781450397032

Imperative and object-oriented programming languages are among the most common languages for general-purpose programming. these languages work well for handling many common tasks necessary for most applications. However, there are still many hard problems that remain difficult to implement directly in imperative languages. Declarative languages have worked well for solving many of these problems by providing a syntax that allows the user to focus on modeling the problem rather than on designing an algorithm. Logic programming languages, like Prolog, have seen success in constraint satisfaction problems, logical databases, and various NP-Hard problems. Unfortunately, these languages have not seen the same success in general-purpose programming, and most of the problems they solve do not exist in isolation. Furthermore, many imperative programmers are still unfamiliar with and unaware of logic programming. In this work, we aim to integrate a logical predicate, borrowed from logic programming, into an imperative language to facilitate a model-based approach to programming. Rather than attempting to embed Prolog directly into the language, we provide a logic for reasoning over imperative expressions using the common Boolean operators familiar to imperative programmers. While logic programming relies on unification, our predicate relies on variable assignment which is standard in imperative languages. We have implemented the predicate into the syntax of the Python programming language along with a solver built into the runtime for solving queries on the predicate. We demonstrate the use of the construct through solving commonly-known problems, such as graph coloring and the N-Queens problem. To evaluate the viability of our predicate, we compare the performance results of our predicate against current implementations of Prolog. By bringing this predicate construct to imperative languages, it is our hope that we can help to bridge the gap between imperative and logic prog

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers 38

Higher-Order Specifications for Deductive Synthesis of Progr...

引用

38th european conference on object-oriented programming, ECOOP 2024

作者： Young, David Yang, Ziyi Sergey, Ilya Potanin, Alex University of Kansas LawrenceKS United States National University of Singapore Singapore Australian National University Canberra Australia

ISBN: (纸本)9783959773416

Synthetic Separation Logic (SSL) is a formalism that powers SuSLik, the state-of-the-art approach for the deductive synthesis of provably-correct programs in C-like languages that manipulate heap-based linked data structures. Despite its expressivity, SSL suffers from two shortcomings that hinder its utility. First, its main specification component, inductive predicates, only admits first-order definitions of data structure shapes, which leads to the proliferation of "boiler-plate" predicates for specifying common patterns. Second, SSL requires concrete definitions of data structures to synthesise programs that manipulate them, which results in the need to change a specification for a synthesis task every time changes are introduced into the layout of the involved structures. We propose to significantly lift the level of abstraction used in writing Separation Logic specifications for synthesis – both simplifying the approach and making the specifications more usable and easy to read and follow. We avoid the need to repetitively re-state low-level representation details throughout the specifications – allowing the reuse of different implementations of the same data structure by abstracting away the details of a specific layout used in memory. Our novel high-level front-end language called Pika significantly improves the expressiveness of SuSLik. We implemented a layout-agnostic synthesiser from Pika to SuSLik enabling push-button synthesis of C programs with in-place memory updates, along with the accompanying full proofs that they meet Separation Logic-style specifications, from high-level specifications that resemble ordinary functional programs. Our experiments show that our tool can produce C code that is comparable in its performance characteristics and is sometimes faster than Haskell. © David Young, Ziyi Yang, Ilya Sergey, and Alex Potanin

关键词： Functional 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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

?-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

来源：评论

学校读者我要写书评

暂无评论

24th european conference on Genetic programming, EuroGP 2021

24th European Conference on Genetic Programming, EuroGP 2021

引用

24th european conference on Genetic programming, EuroGP 2021

ISBN: (纸本)9783030728113

the proceedings contain 17 papers. the special focus in this conference is on Genetic programming. the topics include: Evofficient: Reproducing a Cartesian Genetic programming Method;software Anti-patterns Detection Under Uncertainty Using a Possibilistic Evolutionary Approach;probabilistic Grammatical Evolution;evolving Allocation Rules for Beam Search Heuristics in Assembly Line Balancing;incremental Evaluation in Genetic programming;mining Feature Relationships in Data;getting a Head Start on Program Synthesis with Genetic programming;Progressive Insular Cooperative GP;regenerating Soft Robots through Neural Cellular Automata;inclusive Genetic programming;towards Incorporating Human Knowledge in Fuzzy Pattern Tree Evolution;evolutionary Neural Architecture Search Supporting Approximate Multipliers;automatic Design of Deep Neural Networks Applied to Image Segmentation Problems;on the Influence of Grammars on Crossover in Grammatical Evolution;on the Generalizability of Programs Synthesized by Grammar-Guided Genetic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

24th International conference on Information Integration and Web Intelligence, iiWAS 2022, held in conjunction with the 20th International conference on Advances in Mobile Computing and Multimedia Intelligence, MoMM 2022

24th International Conference on Information Integration and...

引用

24th International conference on Information Integration and Web Intelligence, iiWAS 2022, held in conjunction with the 20th International conference on Advances in Mobile Computing and Multimedia Intelligence, MoMM 2022

ISBN: (纸本)9783031210464

the proceedings contain 53 papers. the special focus in this conference is on Information Integration and Web Intelligence. the topics include: GPU Accelerated Parallel Implementation of Linear programming Algorithms;Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms;Query Optimization in NoSQL Databases Using an Enhanced Localized R-tree Index;handling Exit Node Vulnerability in Onion Routing with a Zero-Knowledge Proof;an Accurate, Flexible and Private Trajectory-Based Contact Tracing System on Untrusted Servers;bilateral Bargaining for Healthcare Data Sharing;modifying Neo4j’s object Graph Mapper Queries for Access Control;a Recommendation Method for Recipes Containing Unskillful Elements Using Naïve Bayes Classifier to Improve Cooking Skills;extraction of Complementary Topics Based on Phrase Importance and Co-occurrence in Technical Blogs;sharing Semantic Knowledge for Autonomous Robots: Cooperation for Social Robotic Systems;feature Relevance Analysis of Product Reviews to Support Online Shopping;annotation System for Dialogue Datasets of Older Adult’s with Photos and Storytelling;evaluation Axes for Automatically Generated Product Descriptions;CISQA: Corporate Smart Insights Question Answering System;symmetry Metrics for Pairwise Entity Similarities;a New Method to Measure Similarity of Words in Japanese Twitter Based on Related Images;Hybrid Phishing URL Detection Using Segmented Word Embedding;a Scheme for News Article Classification in a Low-Resource Language;expertise Computation for Automatic Reviewer Assignment;detection of Hot Topics Using Multi-view Text Clustering;exploiting Named Entity Recognition for Information Extraction from Italian Procurement Documents: A Case Study;interactive Visualization of Comic Character Correlation Diagrams for Understanding Character Relationships and Personalities;two Case Studies on Guiding Human Behavior Using Virtualization Technologies in Distributed Virtual Shopping Malls;central Figures in t

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：