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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,278 篇 会议
296 篇 期刊文献
2 册 图书

馆藏范围

2,576 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,280 篇 工学
- 2,147 篇 软件工程
- 1,702 篇 计算机科学与技术...
- 85 篇 控制科学与工程
- 57 篇 信息与通信工程
- 55 篇 电气工程
- 23 篇 电子科学与技术（可...
- 17 篇 机械工程
- 14 篇 建筑学
- 14 篇 土木工程
- 13 篇 材料科学与工程（可...
- 13 篇 生物工程
- 10 篇 光学工程
- 9 篇 安全科学与工程
- 8 篇 化学工程与技术
- 5 篇 动力工程及工程热...
- 5 篇 生物医学工程（可授...
- 4 篇 力学（可授工学、理...
278 篇 理学
- 217 篇 数学
- 30 篇 系统科学
- 18 篇 统计学（可授理学、...
- 16 篇 物理学
- 16 篇 生物学
- 8 篇 化学
- 6 篇 地质学
207 篇 管理学
- 112 篇 图书情报与档案管...
- 107 篇 管理科学与工程(可...
- 48 篇 工商管理
22 篇 教育学
- 22 篇 教育学
17 篇 法学
- 15 篇 社会学
9 篇 经济学
- 9 篇 应用经济学
2 篇 农学
2 篇 艺术学
1 篇 军事学

主题

390 篇 design
369 篇 languages
186 篇 computer program...
182 篇 performance
162 篇 object oriented ...
89 篇 algorithms
88 篇 java programming...
81 篇 experimentation
78 篇 functional progr...
71 篇 theory
69 篇 computer program...
65 篇 java
63 篇 verification
61 篇 reliability
48 篇 semantics
47 篇 software design
45 篇 domain-specific ...
38 篇 parallel program...
37 篇 concurrency
35 篇 measurement

机构

24 篇 carnegie mellon ...
22 篇 univ washington ...
18 篇 univ penn philad...
17 篇 princeton univ p...
17 篇 stanford univ st...
16 篇 univ texas austi...
15 篇 harvard univ cam...
14 篇 purdue univ w la...
13 篇 microsoft res re...
13 篇 microsoft resear...
13 篇 rice univ housto...
12 篇 univ wisconsin m...
12 篇 mit cambridge ma...
12 篇 cornell univ ith...
12 篇 microsoft res ca...
11 篇 univ michigan an...
11 篇 swiss fed inst t...
11 篇 univ calif berke...
10 篇 microsoft res re...
10 篇 yale univ new ha...

作者

19 篇 hirschfeld rober...
16 篇 walker david
15 篇 visser eelco
15 篇 felleisen matthi...
14 篇 findler robert b...
13 篇 grossman dan
13 篇 bacon david f.
12 篇 chlipala adam
11 篇 flatt matthew
11 篇 sarkar vivek
11 篇 myers andrew c.
11 篇 mezini mira
11 篇 morrisett greg
10 篇 mckinley kathryn...
10 篇 bockisch christo...
10 篇 adl-tabatabai al...
10 篇 de moor oege
10 篇 dillig isil
9 篇 lumsdaine a
9 篇 van der storm ti...

语言

2,349 篇 英文
222 篇 其他
4 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"

共 2576 条记录，以下是901-910 订阅

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

详细简洁

排序：

Modularizing Crosscutting Concerns with Ptolemy 11

Modularizing Crosscutting Concerns with Ptolemy

引用

10th International conference on Aspect-Oriented Software Development (AOSD)

作者： Rajan, Hridesh Leavens, Gary T. Dyer, Robert Bagherzadeh, Mehdi Iowa State Univ Ames IA 50011 USA Univ Cent Florida Orlando FL 32816 USA

ISBN: (纸本)9781450305563

This tutorial will provide an introduction to Ptolemy. Ptolemy is a programming language whose goals are to improve a software engineer's ability to separate conceptual concerns, while preserving encapsulation of object-oriented code and the ability of programmers to modularly reason about their code. In particular, Ptolemy's features are useful towards modularization of cross-cutting concerns. A cross-cutting concern is a requirement whose implementation is spread across and mixed with the code of other requirements. There has been attempts to improve separation of cross-cutting concerns, e.g. by aspect-oriented and implicit-invocation languages, but none give software developers textual separation of concerns and modular reasoning at the same time. Ptolemy has both these properties important for scalable software engineering. Ptolemy's event types provide a well-defined interface between object-oriented code and cross-cutting code. This in turn enables separate type-checking and compilation. Ptolemy also provides a novel and practical specification mechanism that we call translucid contracts. A translucid contracts allows developers to reason about the control effects of the object-oriented code and cross-cutting code modularly. This tutorial will proceed by discussing the goals of the Ptolemy programming language. We will then discuss Ptolemy's programming features and its specification features by way of several hands-on exercises. We will conclude with pointers to ongoing work on design, implementation and verification of Ptolemy programs.

关键词： modular reasoning aspect-oriented programming languages implicit invocation translucid contracts aspect-oriented interfaces Ptolemy

来源：评论

学校读者我要写书评

暂无评论

PHANtom: A modern aspect language for Pharo Smalltalk 11

PHANtom: A modern aspect language for Pharo Smalltalk

引用

3rd International Workshop on Smalltalk Technologies 2011, IWST'11

作者： Fabry, Johan Galdames, Daniel University of Chile Santiago Chile

ISBN: (纸本)9781450310505

In the context of our research on Aspect-Oriented programming, we have a need for a modern and powerful aspect language for Smalltalk. Current aspect languages for Smalltalk however fall short on various points. To address this deficit, we elected to design and build PHANtom: a modern aspect language for Pharo Smalltalk. PHANtom is designed to be an aspect language in the spirit of Smalltalk: dynamic, simple and powerful. PHANtom is a modern aspect language because it incorporates the best features of languages that precede it, includes recent research results in aspect interactions and reentrancy control, and is designed from the onset to be optimized and compiled where possible. In this paper we present the language and outline salient points of its current implementation. Copyright © 2011 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

A case study of language oriented programming with Cedalion- Extended abstract

A case study of language oriented programming with Cedalion-...

引用

acm International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH'11

作者： Lorenz, David H. Rosenan, Boaz Open University of Israel 1 University Rd. Raanana 43107 Israel

Cedalion is an LOP language designed for hosting internal DSLs while providing projectional editing. We present a case study where Cedalion was used to help colleagues in the field of Biology design a DNA microarray f... 详细信息

ISBN: (纸本)9781450309424

关键词： Biochemistry

来源：评论

学校读者我要写书评

暂无评论

EScala: Modular event-driven object interactions in scala 11

EScala: Modular event-driven object interactions in scala

引用

Proceedings of the tenth international conference on Aspect-oriented software development

作者： Gasiunas, Vaidas Satabin, Lucas Mezini, Mira Núñez, Angel Noyé, Jacques Software Technology Group Technische Universität Darmstadt Darmstadt Germany École des Mines de Nantes Nantes France

ISBN: (纸本)9781450305563

Event-driven programming style in OO languages based on imperatively triggered events does not support separate and more declarative event definitions by composition or transformation of other events. AO language mechanisms for defining events as declarative queries over implicitly available low-level events seem good candidates to approach these problems. However, being designed for modularizing mostly globally scoped, crosscutting concerns, AO mechanisms deliberately break with the OO design and modular reasoning style and are thus inappropriate for addressing modularity concerns related to event-based interactions in OO designs. The contribution of this paper is a language design that combines imperatively triggered events with AO-like mechanisms that are specifically designed to address modularity issues in event-driven object-oriented designs. In particular, they seamlessly integrate with OO-style encapsulation, late binding, and modular reasoning. We present an efficient and type-safe implementation of the proposed design as an extension to Scala.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

A systematic mapping study on high-level language virtual machines

A systematic mapping study on high-level language virtual ma...

引用

4th Workshop on Virtual Machines and Intermediate languages, VMIL 2010, Held at the 1st acm sigplan conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH 2010

作者： Durelli, Vinicius H. S. Felizardo, Katia R. Delamaro, Marcio E. Computer Systems Department University of São Paulo São Carlos SP Brazil

ISBN: (纸本)9781450305457

Background: There is a large body of literature on research in virtual machine for high-level languages, i.e., high-level language virtual machines (HLL VMs). Despite being a well-established research area, there are no studies focusing on characterizing the sorts of research that have been conducted and shedding light on most investigated subjects as well as subjects requiring further research. Objectives: To conduct a systematic mapping study of the literature describing research into HLL VM. Research method: We undertook a systematic mapping study of the literature based upon searching of major electronic databases. Results: 128 papers have been selected and classified by their contribution, employed HLL VM implementation, type and date of publication. Conclusions: The majority of the selected studies concentrate on improvements for boosting performance, introducing better garbage collection capabilities, and adapting HLL VMs or their core components to meet the requirements for embedded platforms. Furthermore, from examining the selected studies we have found that Java virtual machine (JVM) implementations are by far the most employed within academic settings. Among them, Jikes Research Virtual Machine is the most-widely used. Copyright © 2010 acm.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

First-Class State Change in Plaid

First-Class State Change in Plaid

引用

2011 acm International conference on Object Oriented programming Systems languages and Applications

作者： Sunshine, Joshua Naden, Karl Stork, Sven Aldrich, Jonathan Tanter, Eric Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Coimbra P-3000 Coimbra Portugal Univ Chile Comp Sci Dept DCC PLEIAD Lab Santiago Chile

ISBN: (纸本)9781450309400

Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages provide little support for building software based on state abstractions. We propose Plaid, a language in which objects are modeled not just in terms of classes, but in terms of changing abstract states. Each state may have its own representation, as well as methods that may transition the object into a new state. A formal model precisely defines the semantics of core Plaid constructs such as state transition and trait-like state composition. We evaluate Plaid through a series of examples taken from the Plaid compiler and the standard libraries of Smalltalk and Java. These examples show how Plaid can more closely model state-based designs, enhancing understandability, enhancing dynamic error checking, and providing reuse benefits.

关键词： design Documentation languages Reliability typestate state-chart plaid

来源：评论

学校读者我要写书评

暂无评论

Model-based Kinematics Generation for Modular Mechatronic Toolkits 10

Model-based Kinematics Generation for Modular Mechatronic To...

引用

9th International conference on Generative programming and Component Engineering

作者： Bordignon, Mirko Schultz, Ulrik P. Stoy, Kasper Univ So Denmark Modular Robot Lab Maersk Inst Odense Denmark

ISBN: (纸本)9781450301541

Modular robots are mechatronic devices that enable the construction of highly versatile and flexible robotic systems whose mechanical structure can be dynamically modified. The key feature that enables this dynamic modification is the capability of the individual modules to connect to each other in multiple ways and thus generate a number of different mechanical systems, in contrast with the monolithic, fixed structure of conventional robots. The mechatronic flexibility, however, complicates the development of models and programming abstractions for modular robots, since manually describing and enumerating the full set of possible interconnections is tedious and error-prone for real-world robots. In order to allow for a general formulation of spatial abstractions for modular robots and to ensure correct and streamlined generation of code dependent on mechanical properties, we have developed the Modular Mechatronics Modelling language (M3L). M3L is a domain-specific language, which can model the kinematic structure of individual robot modules and declaratively describe their possible interconnections, rather than requiring the user to enumerate them in their entirety. From this description, the M3L compiler generates the code that is needed to simulate the resulting robots within Webots, a widely used commercial robot simulator, and the software component needed for spatial structure computations by a virtual machine-based runtime system, which we have developed and used for programming physical modular robots.

关键词： design languages domain-specific languages robotics code generation

来源：评论

学校读者我要写书评

暂无评论

Mobl: The new language of the mobile web

Mobl: The new language of the mobile web

引用

acm International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH'11

作者： Hemel, Zef Visser, Eelco Delft University of Technology Could 9 IDE Inc. Netherlands Delft University of Technology Netherlands

Mobl is a new language designed to declaratively construct mobile web applications. Mobl integrates languages for user interface design, styling, data modeling, querying and application logic into a single, unified la... 详细信息

ISBN: (纸本)9781450309424

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

COOMP 2011: First international workshop on combined object-oriented modeling and programming

COOMP 2011: First international workshop on combined object-...

引用

acm International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH'11

作者： Madsen, Ole Lehrmann Møoller-Pedersen, Birger Runde, Ragnhild Kobro Alexandra Institute Aarhus University Denmark University of Oslo Norway

ISBN: (纸本)9781450309424

languages for modeling and programming are diverging, with the implication that developers that would like to model (in order to raise the abstraction level and become independent of implementation platforms) end up with the challenge of maintaining both model and program artifacts. In addition, modeling is hampered by poor tool support compared with programming tools. The trend in programming languages is that less attention is paid to the fact that programming should be a kind of modeling, while executable models will not cover what programs usually cover. The aim of this workshop is to investigate requirements for combined modeling and programming languages, by identifying candidate elements that should be supported by such languages, propose potential new combined language mechanisms, and by investigating implementation techniques for such languages.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Freedom Before Commitment A Lightweight Type System for Object Initialisation 11

Freedom Before Commitment A Lightweight Type System for Obje...

引用

2011 acm International conference on Object Oriented programming Systems languages and Applications

作者： Summers, Alexander J. Mueller, Peter Swiss Fed Inst Technol Zurich Switzerland

ISBN: (纸本)9781450309400

One of the main purposes of object initialisation is to establish invariants such as a field being non-null or an immutable data structure containing specific values. These invariants are then implicitly assumed by the rest of the implementation, for instance, to ensure that a field may be safely dereferenced or that immutable data may be accessed concurrently. Consequently, letting an object escape from its constructor is dangerous;the escaping object might not yet satisfy its invariants, leading to errors in code that relies on them. Nevertheless, preventing objects entirely from escaping from their constructors is too restrictive;it is often useful to call auxiliary methods on the object under initialisation or to pass it to another constructor to set up mutually-recursive structures. We present a type system that tracks which objects are fully initialised and which are still under initialisation. The system can be used to prevent objects from escaping, but also to allow safe escaping by making explicit which objects might not yet satisfy their invariants. We designed, formalised and implemented our system as an extension to a non-null type system, but it is not limited to this application. Our system is conceptually simple and requires little annotation overhead;it is sound and sufficiently expressive for many common programming idioms. Therefore, we believe it to be the first such system suitable for mainstream use.

关键词： design languages Reliability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 87 88 89 90 91 92 93 94 95 96 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：