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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Program Extrapolation with Jennisys

Program Extrapolation with Jennisys

引用

acm International conference on Object Oriented programming Systems languages and Applications

作者： Leino, K. Rustan M. Milicevic, Aleksandar Microsoft Res Redmond WA USA MIT Cambridge MA 02139 USA

The desired behavior of a program can be described using an abstract model. Compiling such a model into executable code requires advanced compilation techniques known as synthesis. This paper presents an object-based language, called Jennisys, where programming is done by introducing an abstract model, defining a concrete data representation for the model, and then being aided by automatic synthesis to produce executable code. The paper also presents a synthesis technique for the language. The technique is built on an automatic program verifier that, via an underlying SMT solver, is capable of providing concrete models to failed verifications. The technique proceeds by obtaining sample input/output values from concrete models and then extrapolating programs from the sample points. The synthesis aims to produce code with assignments, branching structure, and possibly recursive calls. It is the first to synthesize code that creates and uses objects in dynamic data structures or aggregate objects. A prototype of the language and synthesis technique has been implemented.

关键词： program synthesis programming language design program verification abstract specifications concrete representations coupling invariants preconditions Jennisys Dafny

来源：评论

学校读者我要写书评

暂无评论

Xbase: Implementing domain-specific languages for java 12

Xbase: Implementing domain-specific languages for java

引用

11th acm International conference on Generative programming and Component Engineering, GPCE 2012

作者： Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany

ISBN: (纸本)9781450311298

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to generalpurpose programming languages. This approach introduces complex integration patterns and the DSL's high level of abstraction is compromised. We present Xbase as part of Xtext, an expression language that can be reused via language inheritance in any DSL implementation based on Xtext. Xbase expressions provide both control structures and program expressions in a uniform way. Xbase is statically typed and tightly integrated with the Java type system. languages extending Xbase inherit the syntax of a Java-like expression language as well as language infrastructure components, including a parser, an unparser, a linker, a compiler and an interpreter. Furthermore, the framework provides integration into the Eclipse IDE including debug and refactoring support. The application of Xbase is presented by means of a domain model language which serves as a tutorial example and by the implementation of the programming language Xtend. Xtend is a functional and object-oriented general purpose language for the Java Virtual Machine (JVM). It is built on top of Xbase which is the reusable expression language that is the foundation of Xtend. Copyright 2012 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Work-Stealing Without The Baggage 12

Work-Stealing Without The Baggage

引用

acm International conference on Object Oriented programming Systems languages and Applications

作者： Kumar, Vivek Frampton, Daniel Blackburn, Stephen M. Grove, David Tardieu, Olivier Australian Natl Univ Canberra ACT 0200 Australia Microsoft Redmond WA USA IBM TJ Watson Res Yorktown Hts NY USA

ISBN: (纸本)9781450315616

Work-stealing is a promising approach for effectively exploiting software parallelism on parallel hardware. A programmer who uses work-stealing explicitly identifies potential parallelism and the runtime then schedules work, keeping otherwise idle hardware busy while relieving overloaded hardware of its burden. Prior work has demonstrated that work-stealing is very effective in practice. However, work-stealing comes with a substantial overhead: as much as 2x to 12x slowdown over orthodox sequential code. In this paper we identify the key sources of overhead in work-stealing schedulers and present two significant refinements to their implementation. We evaluate our work-stealing designs using a range of benchmarks, four different work-stealing implementations, including the popular fork-join framework, and a range of architectures. On these benchmarks, compared to orthodox sequential Java, our fastest design has an overhead of just 15%. By contrast, fork-join has a 2.3x overhead and the previous implementation of the system we use has an overhead of 4.1x. These results and our insight into the sources of overhead for work-stealing implementations give further hope to an already promising technique for exploiting increasingly available hardware parallelism.

关键词： design languages Performance Scheduling Task Parallelism Work-Stealing X10 Managed languages

来源：评论

学校读者我要写书评

暂无评论

Mbeddr: An extensible c-based programming language and IDE for embedded systems

Mbeddr: An extensible c-based programming language and IDE f...

引用

2012 3rd acm conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2012

作者： Voelter, Markus Ratiu, Daniel Schaetz, Bernhard Kolb, Bernd Independent/itemis United States Fortiss United States Itemis United States

ISBN: (纸本)9781450315630

While the C programming language provides good sup-port for writing efficient, low-level code, it is not ad-equate for deffining higher-level abstracts relevant to embedded software. In this paper we present the mbeddr technology stack that supports extension of C with constructs adequate for embedded systems. In mbeddr, efficient low-level programs can be written using the well-known concepts from C. Higher-level domain-speciffic abstracts can be seamlessly inte-grated into C by means of modular language exten-sion regarding syntax, type system, semantics and IDE. In the paper we show how language extension can ad-dress the challenges of embedded software development and report on our experience in building these exten-sions. We show that language workbenches deliver on the promise of signifficantly reducing the effort of lan-guage engineering and the construction of correspond-ing IDEs. mbeddr is built on top of the JetBrains MPS language workbench. Both MPS and mbeddr are open source software.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

implementation of a simple dimensionality checking system in Ada 2012

Implementation of a simple dimensionality checking system in...

引用

acm SIGAda's Annual International conference on High Integrity language Technology, HILT 2012

作者： Pucci, Vincent Schonberg, Edmond Adacore Inc. 104 5th Avenue New York City NY 10011 United States

ISBN: (纸本)9781450315050

We present the design and implementation of a dimensionality checking system in Ada 2012. The system is implemented in the GNAT compiler, and performs compile-time checks to verify the dimensional consistency of physical computations. The system allows the user to define his own system of units, and imposes no run-time changes nor multiple compilation passes on the user. © 2012 acm.

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

An inheritance system for structural & behavioral reuse in component-based software programming 12

An inheritance system for structural & behavioral reuse in c...

引用

11th acm International conference on Generative programming and Component Engineering, GPCE 2012

作者： Spacek, Petr Dony, Christophe Tibermacine, Chouki Fabresse, Luc LIRMM CNRS Montpellier II University 161 rue Ada 34392 Montpellier Cedex 5 France Université Lille Nord de France Ecole des Mines de Douai 941 rue Charles Bourseul 59508 Douai Cedex France

ISBN: (纸本)9781450311298

In the context of Component-based programming, which addresses the implementation stage of a component-based software engineering development process, this paper describes a specification and an operational integration of an inheritance system into a self-contained new component-based programming language named Compo. Our proposal completes and extends related works by making it possible to apply inheritance to the full description of components, i.e. both to structural (description of provisions and requirements, of component architecture) and behavioral (full implementations of services) parts in component descriptions. Inheritance in Compo is designed to be used in conjunction with composition to maximize reuse capabilities and expressive power. Compo implementation proposes a clear operational solution for inheritance and for achieving and testing substitutions. Copyright 2012 acm.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Equality Proofs and Deferred Type Errors A Compiler Pearl

Equality Proofs and Deferred Type Errors A Compiler Pearl

引用

17th acm sigplan International conference on Functional programming

作者： Vytiniotis, Dimitrios Jones, Simon Peyton Magalhaes, Jose Pedro Microsoft Res Cambridge England Univ Utrecht NL-3508 TC Utrecht Netherlands

The Glasgow Haskell Compiler is an optimizing compiler that expresses and manipulates first-class equality proofs in its intermediate language. We describe a simple, elegant technique that exploits these equality proofs to support deferred type errors. The technique requires us to treat equality proofs as possibly-divergent terms;we show how to do so without losing either soundness or the zero-overhead cost model that the programmer expects.

关键词： design languages Type equalities Deferred type errors System FC

来源：评论

学校读者我要写书评

暂无评论

A case for secure and scalable hypervisor using safe language

A case for secure and scalable hypervisor using safe languag...

引用

2012 International Workshop on programming Models and Applications for Multicores and Manycores, PMAM 2012

作者： Chen, Haibo Zang, Binyu Institute of Parallel and Distributed Systems School of Software Shanghai Jiaotong University China Parallel Processing Institute Fudan University China

ISBN: (纸本)9781450312110

System virtualization has been a new foundation for system software, which is evidenced in many systems and innovations, as well as numerous commercial successes in desktop, datacenter and cloud. However, with more and more functionality being built into the virtualization layer, the trustworthiness of the hypervisor layer has been a severe issue and should no longer be an "elephant in the room". Further, the advent and popularity of multi-core and many-core platforms, the scalability of the virtualization layer would also be a serious challenge to the scalability of the whole software stack. In this position paper, we argue that it is the time to rethink the design and implementation of the virtualization layer using recent advances in language, compilers and system designs. We point out that the use of safe languages with scalable system design could address the trustworthiness and scalability issues with virtualization. We also argue that applying language innovations to the hypervisor layer avoids the need of an evolutionary path, as it is relatively small in scale and has little backward compatibility issue. © 2012 acm.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

MiniKanren, live and untagged: Quine generation via relational interpreters (programming pearl)

MiniKanren, live and untagged: Quine generation via relation...

引用

2012 Annual Workshop on Scheme and Functional programming, Scheme 2012

作者： Byrd, William E. Holk, Eric Friedman, Daniel P. School of Informatics and Computing Indiana University Bloomington IN 47405 United States

ISBN: (纸本)9781450318952

We present relational interpreters for several subsets of Scheme, written in the pure logic programming language miniKanren. We demonstrate these interpreters running "backwards" - that is, generating programs that evaluate to a specified value - and show how the interpreters can trivially generate quines (programs that evaluate to themselves). We demonstrate how to transform environment-passing interpreters written in Scheme into relational interpreters written in miniKanren. We show how constraint extensions to core miniKanren can be used to allow shadowing of the interpreter's primitive forms (using the absent° tree constraint), and to avoid having to tag expressions in the languages being interpreted (using disequality constraints and symbol/number type-constraints), simplifying the interpreters and eliminating the need for parsers/unparsers. We provide four appendices to make the code in the paper completely self-contained. Three of these appendices contain new code: the complete implementation of core miniKanren extended with the new constraints;an extended relational interpreter capable of running factorial and doing list processing;and a simple pattern matcher that uses Dijkstra guards. The other appendix presents our preferred version of code that has been presented elsewhere: the miniKanren relational arithmetic system used in the extended interpreter. © 2012 acm.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

3rd internationalworkshop on free composition (FREECO)

3rd internationalworkshop on free composition (FREECO)

引用

2012 3rd acm conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2012

作者： Bockisch, Christoph Bergmans, Lodewijk Brinke, Steven Te Piumarta, Ian University of Twente Netherlands Viewpoints Research Institute United States

ISBN: (纸本)9781450315630

The history of programming languages shows a continuous search for new composition mechanisms to find better ways for structuring increasingly complex software systems into modules that can be developed and reused independently. Composition mechanisms can address various types of de-pendencies among modules, e.g., inheritance, delegation, aggregation, design patterns, contracts, explicit protocols, or domain-specific compositions. However, most languages adopt a fixed set of compo-sition mechanisms, usually with explicit notation and pre-defined semantics. In case a language does not provide any mechanisms with the desired compositional behavior, programmers may need to write workarounds or introduce the new composition mechanism through macros, libraries, frameworks or language extensions. This workshop intends to stimulate research in program-ming languages and software development by exploring the notion that today's languages with their limited set of com-position mechanisms is insufficient. Instead we should allow compositions that support more flexibility, adopt a wide va-riety of compositions, domain-specific and tailored compo-sitions, or programmable compositions of various program artifacts.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 77 78 79 80 81 82 83 84 85 86 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：