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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

15 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

11 篇 工学
- 11 篇 软件工程
- 7 篇 计算机科学与技术...
- 1 篇 力学（可授工学、理...
7 篇 理学
- 6 篇 数学
- 1 篇 物理学
- 1 篇 系统科学
2 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 经济学
- 1 篇 应用经济学

主题

4 篇 object oriented ...
3 篇 problem oriented...
2 篇 object-oriented ...
1 篇 object constrain...
1 篇 language variant...
1 篇 language feature...
1 篇 software enginee...
1 篇 domain-specific ...
1 篇 constraints
1 篇 computer communi...
1 篇 c++ (programming...
1 篇 autonomous agent...
1 篇 mathematical log...
1 篇 pluggable checke...
1 篇 programming tech...
1 篇 programming lang...
1 篇 design patterns
1 篇 logics and meani...
1 篇 functional progr...
1 篇 grace

机构

1 篇 epfl
1 篇 viewpoints res i...
1 篇 victoria univ we...
1 篇 university of at...
1 篇 université de mo...
1 篇 département d'in...
1 篇 cwi nl-1009 ab a...
1 篇 laboratoire d'in...
1 篇 computer science...
1 篇 univ marburg d-3...
1 篇 tech univ darmst...
1 篇 univ genoa dibri...
1 篇 département de m...
1 篇 université du qu...
1 篇 school of comput...
1 篇 inria lille lill...
1 篇 département d'in...
1 篇 department of ma...
1 篇 programming tech...
1 篇 pomona coll clar...

作者

1 篇 hirschfeld rober...
1 篇 gybels kris
1 篇 flageol william
1 篇 biboudis aggelos
1 篇 burmako eugene
1 篇 homer michael
1 篇 ancona davide
1 篇 noble james
1 篇 black andrew p.
1 篇 van der storm ti...
1 篇 vu tuong manli
1 篇 ohshima yoshiki
1 篇 stefan monnier
1 篇 kuraj ivan
1 篇 mourad badri
1 篇 monnier stefan
1 篇 gil joseph yossi
1 篇 jones timothy
1 篇 erdweg sebastian
1 篇 kuncak viktor

语言

15 篇 英文
1 篇 其他

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

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

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

详细简洁

排序：

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

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

引用

28th european conference on Pattern Languages of Programs, EuroPLoP 2023

作者： Flageol, William Guéhéneuc, Yann-Gaël Badri, Mourad Monnier, Stefan Concordia University Canada Université du Québec à Trois-Rivières Canada 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. © 2023 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

IWST 2022 - Proceedings of the International Workshop on Smalltalk Technologies 2022, co-located with the 28th european Smalltalk User Group conference, ESUG 2022

IWST 2022 - Proceedings of the International Workshop on Sma...

引用

2022 International Workshop on Smalltalk Technologies, IWST 2022

the proceedings contain 7 papers. the topics discussed include: towards object-centric time-traveling debuggers;using moose platform for the implementation of a software product line according to model-based delta-oriented programming;transformation-based refactorings: a first analysis;design principles for a high-performance Smalltalk;how fast is AI in Pharo? benchmarking linear regression;and can we automatically generate class comments in Pharo?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

来源：评论

学校读者我要写书评

暂无评论

ecoop 2014 - object-oriented programming: 28th european conference, Proceedings

ECOOP 2014 - Object-Oriented Programming: 28th European Conf...

引用

28th european conference on object-oriented programming, ecoop 2014

ISBN: (纸本)9783662442012

the proceedings contain 27 papers. the topics discussed include: state-sensitive points-to analysis for the dynamic behavior of JavaScript objects;self-inferencing reflection resolution for java;constructing call graphs of scala programs;finding reference-counting errors in python/C programs with affine analysis;safely composable type-specific languages;graceful dialects;structuring documentation to support state search: a laboratory experiment about protocol programming;reusable concurrent data types;infrastructure-free logging and replay of concurrent execution on multiple cores;sound and complete subtyping between co-inductive types for object-oriented languages;spores: a type-based foundation for closures in the age of concurrency and distribution;rely-guarantee protocols;and stream processing with a spreadsheet.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sound and Complete Subtyping between Coinductive Types for object-oriented Languages

Sound and Complete Subtyping between Coinductive Types for O...

引用

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

作者： Ancona, Davide Corradi, Andrea Univ Genoa DIBRIS Genoa Italy

ISBN: (纸本)9783662442029;9783662442012

Structural subtyping is an important notion for effective static type analysis;it can be defined either axiomatically by a collection of subtyping rules, or by means of set inclusion between type interpretations, following the more intuitive approach of semantic subtyping, which allows simpler proofs of the expected properties of the subtyping relation. In object-oriented programming, recursive types are typically interpreted inductively;however, cyclic objects can be represented more precisely by coinductive types. We study semantic subtyping between coinductive types with records and unions, which are particularly interesting for object-oriented programming, and develop and implement a sound and complete top-down direct and effective algorithm for deciding it. To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Graceful Dialects

Graceful Dialects

引用

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

作者： Homer, Michael Jones, Timothy Noble, James Bruce, Kim B. Black, Andrew P. Victoria Univ Wellington Wellington New Zealand Pomona Coll Claremont CA 91711 USA Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9783662442029;9783662442012

programming languages are enormously diverse, both in their essential concepts and in their accidental aspects. this creates a problem when teaching programming. To let students experience the diversity of essential concepts, the students must also be exposed to an overwhelming variety of accidental and irrelevant detail: the accidental differences between the languages are likely to obscure the teaching point. the dialect system of the Grace programming language allows instructors to tailor and vary the language to suit their courses, while staying within the same stylistic, syntactic and semantic framework, as well as permitting authors to define advanced internal domain-specific languages. the dialect system achieves this power though a combination of well-known language features: lexical nesting, lambda expressions, multi-part method names, optional typing, and plug-gable checkers. Grace's approach to dialects is validated by a series of case studies, including both extensions and restrictions of the base language.

关键词： Grace language variants domain-specific languages pluggable checkers graphical microworlds error reporting object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Babelsberg/JS A Browser-Based Implementation of an object Constraint Language

Babelsberg/JS A Browser-Based Implementation of an Object Co...

引用

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

作者： Felgentreff, Tim Borning, Alan Hirschfeld, Robert Lincke, Jens Ohshima, Yoshiki Freudenberg, Bert Krahn, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Washington Seattle WA 98195 USA Viewpoints Res Inst Los Angeles CA USA SAP Labs Commun Design Grp San Francisco CA USA

ISBN: (纸本)9783662442029;9783662442012

Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling, and problem-solving. We describe the design and implementation of an object Constraint programming language, an object-oriented language that cleanly integrates constraints with the underlying language in a way that respects encapsulation and standard object-oriented programming techniques, and that runs in browser-based applications. Prior work on object Constraint programming languages has relied on modifying the underlying Virtual Machine, but that is not an option for web-based applications, which have become increasingly prominent. In this paper, we present an approach to implementing object Constraint programming without Virtual Machine support, along with an implementation as a JavaScript extension. We demonstrate the resulting language, Babelsberg/JS, on a number of applications and provide performance measurements. Programs without constraints in Babelsberg/JS run at the same speed as pure JavaScript versions, while programs that do have constraints can still be run efficiently. Our design and implementation also incorporate incremental re-solving to support interaction, as well as a cooperating solvers architecture that allows multiple solvers to work together to solve more difficult problems.

关键词： Constraints object Constraint programming

来源：评论

学校读者我要写书评

暂无评论

MorphScala: Safe class morphing with macros

MorphScala: Safe class morphing with macros

引用

5th Annual Scala Workshop, SCALA 2014, Co-located with the 28th european conference on object-oriented programming, ecoop 2014

作者： Biboudis, Aggelos Burmako, Eugene University of Athens Greece EPFL Switzerland

ISBN: (纸本)9781450328685

the goal of this paper is to design an easy type-safe metapro- gramming API for Scala to capture generative metapro- gramming tasks that depend on existing definitions to gen- erate others, by writing meta-code as close as possible to regular Scala code. MorphScala, is a simple domain specific language based on the for-comprehension syntax, that introduces the class morphing metaprogramming technique to the Scala program- ming language. Class morphing is a avor of compile time reection (CTR) over fields or methods of classes and inter- faces. the enabling technologies for MorphScala are Scala macros and quasiquotes that provide a powerful API for compile- time transformations.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

SCALA 2014 - Proceedings of the 5th Annual Scala Workshop, Co-located with ecoop 2014

SCALA 2014 - Proceedings of the 5th Annual Scala Workshop, C...

引用

5th Annual Scala Workshop, SCALA 2014, Co-located with the 28th european conference on object-oriented programming, ecoop 2014

ISBN: (纸本)9781450328685

the proceedings contain 9 papers. the topics discussed include: ScalaDyno: making name resolution and type checking fault-tolerant;accelerating parser combinators with macros;MorphScala: safe class morphing with macros;typecasting actors: from akka to TAkka;type-directed language extension for effectual computations;SciFe: scala framework for efficient enumeration of data structures w/invariants;containers and aggregates, mutators and isolates for reactive programming;real-time collaborative scala development with clide;and towards virtual traits in scala.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Capture-Avoiding and Hygienic Program Transformations

Capture-Avoiding and Hygienic Program Transformations

引用

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

作者： Erdweg, Sebastian van der Storm, Tijs Dai, Yi Tech Univ Darmstadt Darmstadt Germany CWI NL-1009 AB Amsterdam Netherlands INRIA Lille Lille France Univ Marburg D-35032 Marburg Germany

ISBN: (纸本)9783662442029;9783662442012

Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a variable declaration accidentally shadows the intended target of a variable reference. Existing transformation systems either do not guarantee the avoidance of variable capture or impair the implementation of transformations. We present an algorithm called name-fix that automatically eliminates variable capture from a generated program by systematically renaming variables. name-fix is guided by a graph representation of the binding structure of a program, and requires name-resolution algorithms for the source language and the target language of a transformation. name-fix is generic and works for arbitrary transformations in any transformation system that supports origin tracking for names. We verify the correctness of name-fix and identify an interesting class of transformations for which name-fix provides hygiene. We demonstrate the applicability of name-fix for implementing capture-avoiding substitution, inlining, lambda lifting, and compilers for two domain-specific languages.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：