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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

50 篇 会议
2 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

47 篇 工学
- 44 篇 计算机科学与技术...
- 35 篇 软件工程
- 5 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 信息与通信工程
- 1 篇 电子科学与技术（可...
- 1 篇 化学工程与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
13 篇 理学
- 11 篇 数学
- 2 篇 生物学
- 1 篇 化学
6 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
5 篇 教育学
- 5 篇 教育学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

30 篇 object oriented ...
2 篇 object-oriented ...
1 篇 interactive simu...
1 篇 circuit simulati...
1 篇 nesting models
1 篇 computational ca...
1 篇 clonig
1 篇 biology
1 篇 health sciences
1 篇 simulating agent...
1 篇 sensitivity anal...
1 篇 hybrid-models
1 篇 delegation
1 篇 reflectivity
1 篇 automatic differ...
1 篇 software enginee...
1 篇 devs
1 篇 gui
1 篇 self
1 篇 model wrapping

机构

2 篇 indiana universi...
1 篇 1015 lausanne
1 篇 nicta nsw
1 篇 epfl lausanne
1 篇 computer science...
1 篇 docomo communica...
1 篇 vrije universite...
1 篇 university of wi...
1 篇 microsoft uk ltd...
1 篇 teleplace united...
1 篇 adobe systems
1 篇 ibm corp tj wats...
1 篇 ecole polytech f...
1 篇 dipartimento di ...
1 篇 university of ka...
1 篇 trinity college ...
1 篇 dublin city univ...
1 篇 swiss fed inst t...
1 篇 department of co...
1 篇 nvidia seattle w...

作者

2 篇 noble james
2 篇 de meuter wolfga...
1 篇 martin carla
1 篇 mostrous dimitri...
1 篇 flatt matthew
1 篇 ciatto giovanni
1 篇 liu xu tony
1 篇 szyperski clemen...
1 篇 mcmillan scott
1 篇 gibbs celina
1 篇 maddox william
1 篇 gybels kris
1 篇 zhao tian
1 篇 miranda eliot
1 篇 kruger u
1 篇 sahraoui houari
1 篇 zenger m
1 篇 kiessling h
1 篇 weck wolfgang
1 篇 murphy james t.

语言

52 篇 英文
1 篇 中文

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

共 53 条记录，以下是31-40 订阅

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

详细简洁

排序：

A semantic analysis of C++ templates

引用

20th european conference on object-oriented programming, ecoop 2006

作者： Siek, Jeremy Taha, Walid Rice University Houston TX 77005 United States

ISBN: (纸本)3540357262

Templates are a powerful but poorly understood feature of the C++ language. their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ supports template specialization, their semantics is quite different from that of parameterized classes. Template specialization provides a Turing-complete sub-language within C++ that executes at compile-time. Programmers put this power to many uses. For example, templates are a popular tool for writing program generators. the C++ Standard defines the semantics of templates using natural language, so it is prone to misinterpretation. the meta-theoretic properties of C++ templates have not been studied, so the semantics of templates has not been systematically checked for errors. In this paper we present the first formal account of C++ templates including some of the more complex aspects, such as template partial specialization. We validate our semantics by proving type safety and verify the proof with the Isabelle proof assistant. Our formalization reveals two interesting issues in the C++ Standard: the first is a problem with member instantiation and the second concerns the generation of unnecessary template specializations. © Springer-Verlag Berlin Heidelberg 2006.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

9th Workshop for PhD Students in object oriented Systems 13th

9th Workshop for PhD Students in Object Oriented Systems

引用

13th european conference on object-oriented programming (ecoop 99)

作者： Rashid, A Parsons, D Telea, A Univ Lancaster Dept Comp Lancaster LA1 4YW England Object People Southampton Hants England Eindhoven Univ Technol Dept Math & Comp Sci NL-5600 MB Eindhoven Netherlands

ISBN: (纸本)354066954X

the PhDOOS workshop covered a wide scope, as its over 20 participants were PhD students in all areas of object orientation. the presentations covered topics such as databases, languages, software engineering and artificial intelligence, components and generative progamming, analysis and design, frameworks and patterns, aspected oriented programming, distribution, and middleware. Several topics of shared interest were identified and targeted in separate discussion groups on meta-information, the success or failure of OODBMS, and a general theme on the future of object orientation. As the participants had various research interests covering practically all the OO spectrum, we can confidently state that these topics reflect actually the concerns and needs of the OO community, and emerge from its concrete needs. this document is to be complemented by a workshop proceedings document which will publish the full versions of the presented papers.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Transparently reconciling transactions with locking for Java synchronization

引用

20th european conference on object-oriented programming, ecoop 2006

作者： Welc, Adam Hosking, Antony L. Jagannathan, Suresh Department of Computer Science Purdue University West Lafayette IN 47907 United States

ISBN: (纸本)3540357262

Concurrent data accesses in high-level languages like Java and C# are typically mediated using mutual-exclusion locks. threads use locks to guard the operations performed while the lock is held, so that the lock's guarded operations can never be interleaved with operations of other threads that are guarded by the same lock. this way both atomicity and isolation properties of a thread's guarded operations are enforced. Recent proposals recognize that these properties can also be enforced by concurrency control protocols that avoid well-known problems associated with locking, by transplanting notions of transactions found in database systems to a programming language context. While higher-level than locks, software transactions incur significant implementation overhead. this overhead cannot be easily masked when there is little contention on the operations being guarded. We show how mutual-exclusion locks and transactions can be reconciled transparently within Java's monitor abstraction. We have implemented monitors for Java that execute using locks when contention is low and switch over to transactions when concurrent attempts to enter the monitor are detected. We formally argue the correctness of our solution with respect to Java's execution semantics and provide a detailed performance evaluation for different workloads and varying levels of contention. We demonstrate that our implementation has low over-heads in the uncontended case (7% on average) and that significant performance improvements (up to 3×) can be achieved from running contended monitors transactionally. © Springer-Verlag Berlin Heidelberg 2006.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering

Quantitative approaches in object-oriented software engineer...

引用

ecoop 2006 Workshop Reader - 10th european conference on Obiect-oriented programming

作者： Brito e Abreu, Fernando Calero, Coral Guéhéneuc, Yann-Gaël Lanza, Michele Sahraoui, Houari Univ. of Lisbon Portugal Univ. of Castilla Spain Univ. of Montreal Canada Univ. of Lugano Switzerland

ISBN: (纸本)9783540717720

the QAOOSE 2006 workshop brought together, for a full day, researchers working on several aspects related to quantitative evaluation of software artifacts developed with the object-oriented paradigm and related technologies. Ideas and experiences were shared and discussed. this report includes a summary of the technical presentations and subsequent discussions raised by them. 12 out of 14 submitted position papers were presented, covering different aspects such as metrics, components, aspects and visualization, evolution, quality models and refactorings. In the closing session the participants were able to discuss open issues and challenges arising from researching in this area, and they also tried to forecast which will be the hot topics for research in the short to medium term. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Planning with Semantic Attachments: An object-oriented View

引用

20th european conference on Artificial Intelligence (ECAI)

作者： Hertle, Andreas Dornhege, Christian Keller, thomas Nebel, Bernhard Univ Freiburg Freiburg Germany

ISBN: (纸本)9781614990987;9781614990970

In recent years, domain-independent planning has been applied to a rising number of real-world applications. Usually, the description language of choice is PDDL. However, PDDL is not suited to model all challenges imposed by real-world applications. Dornhege et al. proposed semantic attachments to allow the computation of Boolean fluents by external processes called modules during planning. To acquire state information from the planning system a module developer must perform manual requests through a callback interface which is both inefficient and error-prone. In this paper, we present the object-oriented Planning Language OPL, which incorporates the structure and advantages of modern object-oriented programming languages. We demonstrate how a domain-specific module interface that allows to directly access the planner state using object member functions is automatically generated from an OPL planning task. the generated domain-specific interface allows for a safe and less error-prone implementation of modules. We show experimentally that this interface is more efficient than the PDDL-based module interface of TFD/M.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Towards practical gradual typing 29

Towards practical gradual typing

引用

29th european conference on object-oriented programming, ecoop 2015

作者： Takikawa, Asumu Feltey, Daniel Dean, Earl Flatt, Matthew Findler, Robert Bruce Tobin-Hochstadt, Sam Felleisen, Matthias Northeastern University BostonMA United States Indiana University BloomingtonIN United States University of Utah Salt Lake CityUT United States Northwestern University EvanstonIL United States

ISBN: (纸本)9783939897866

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem;it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. this paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel performance evaluation framework for gradual typing. © Asumu Takikawa, Daniel Feltey, Eeal Dean, Matthew Flatt, Robert Bruce Findler.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Aspects, Dependencies, and Interactions

Aspects, Dependencies, and Interactions

引用

ecoop 2006 Workshop Reader - 10th european conference on Obiect-oriented programming

作者： Chitchyan, Ruzanna Fabry, Johan Bergmans, Lodewijk Lancaster University Lancaster United Kingdom INRIA FUTURS LIFL France University of Twente Enschede Netherlands

ISBN: (纸本)9783540717720

For Aspect-oriented Software Development (AOSD) the topic of Aspects, Dependencies and Interactions is of high importance across the whole range of development activities - from requirements engineering through to language design. Aspect interactions must be adequately addressed all across the software lifecycle if AOSD is to succeed as a paradigm. thus, this topic must be tackled by the AOSD community as a whole. this first workshop, initiated by AOSD-Europe project, aimed to establish a dedicated forum for discussion of this vital topic and to attract both researchers and practitioners currently engaged with related issues. the workshop has succeeded in initiating a broad community-wide discussion of this topic and has provided an initial overview of perspectives on the state of the art as well as of outstanding issues in this area. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Wrapping multi-bond graphs: A structured approach to modeling complex multi-body dynamics

Wrapping multi-bond graphs: A structured approach to modelin...

引用

20th european conference on Modelling and Simulation

作者： Cellier, Francois E. Zimmer, Dirk ETH Inst Computat Sci CH-8092 Zurich Switzerland

ISBN: (纸本)0955301807

Bond graphs have established themselves as a reliable tool for modeling physical systems. Yet, they are highly abstract due to their domain independence. Wrapping techniques allow the modeler to preserve the better of two worlds: the flexibility and reliability of bond graphs on the one hand, and the intuitive appeal and familiarity offered by a domain-specific modeling methodology on the other. the talk introduces a new multi-bond graph library for Dymola that includes a partial re-implementation of Dymola's standard multi-body systems library using wrapped multi-bond graphs.

关键词： bond graph multi-bond graph 3D modeling model wrapping object-oriented modeling

来源：评论

学校读者我要写书评

暂无评论

the use of overloading in Java programs

The use of overloading in Java programs

引用

24th european conference on object-oriented programming, ecoop 2010

作者： Gil, Joseph Yossi Lenz, Keren IBM Haifa Research Laboratory Israel Department of Computer Science Technion Haifa Israel

ISBN: (纸本)3642141064

Method overloading is a controversial language feature, especially in the context of object oriented languages, where its interaction with overriding may lead to confusing semantics. One of the main arguments against overloading is that it can be abused by assigning the same identity to conceptually different methods. this paper describes a study of the actual use of overloading in Java. To this end, we developed a taxonomy of classification of the use of overloading, and applied it to a large Java corpus comprising more than 100,000 user defined types. We found that more than 14% of the methods in the corpus are overloaded. Using sampling and evaluation by human raters we found that about 60% of overloaded methods follow one of the "non ad hoc use of overloading patterns" and that additional 20% can be easily rewritten in this form. the most common pattern is the use of overloading as an emulation of default arguments, a mechanism which does not exist in Java. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：