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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

632 篇 会议
65 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

578 篇 工学
- 479 篇 软件工程
- 437 篇 计算机科学与技术...
- 30 篇 电气工程
- 27 篇 控制科学与工程
- 16 篇 信息与通信工程
- 6 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
- 3 篇 材料科学与工程（可...
- 2 篇 力学（可授工学、理...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 动力工程及工程热...
- 2 篇 农业工程
60 篇 理学
- 49 篇 数学
- 6 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
39 篇 教育学
- 39 篇 教育学
30 篇 管理学
- 19 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
6 篇 法学
- 6 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 农学
- 2 篇 作物学
2 篇 医学
- 2 篇 临床医学

主题

106 篇 functional progr...
66 篇 languages
61 篇 computer program...
46 篇 design
34 篇 computer program...
32 篇 haskell
30 篇 programming
20 篇 object oriented ...
20 篇 dependent types
18 篇 functional react...
18 篇 theory
18 篇 programming lang...
17 篇 performance
13 篇 domain-specific ...
13 篇 semantics
12 篇 algorithms
12 篇 logic programmin...
11 篇 generic programm...
11 篇 verification
11 篇 continuations

机构

7 篇 northeastern uni...
7 篇 carnegie mellon ...
7 篇 portland state u...
5 篇 univ penn philad...
5 篇 chalmers univ te...
4 篇 inria
4 篇 microsoft res ca...
3 篇 north carolina s...
3 篇 indiana univ blo...
3 篇 georgia inst tec...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 harvard univ cam...
3 篇 univ new s wales...
3 篇 it university of...
3 篇 carnegie mellon ...
3 篇 univ cambridge c...
3 篇 univ utah salt l...
3 篇 yale univ dept c...
3 篇 luca school of a...

作者

7 篇 krishnaswami nee...
5 篇 flatt matthew
5 篇 keller gabriele
5 篇 jones mark p.
5 篇 findler robert b...
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 claessen koen
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 leshchinskiy rom...
3 篇 watanabe takuo
3 篇 pottier francois
3 篇 devriese dominiq...
3 篇 gibbons phillip ...

语言

631 篇 英文
63 篇 其他
2 篇 法文
2 篇 葡萄牙文
2 篇 中文

检索条件"任意字段=15th ACM SIGPLAN International Conference on Functional Programming"

共 700 条记录，以下是461-470 订阅

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

详细简洁

排序：

Experience report: Playing the DSL card - A domain specific language for component configuration

Experience report: Playing the DSL card - A domain specific ...

引用

13th acm sigplan international conference on functional programming

作者： Jones, Mark P. Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9781595939197

this paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-time, embedded systems. Prior to the introduction of the DSL, engineers would describe the steps needed to configure a particular system in a handwritten XML document. In this paper, we outline the application domain, give a brief overview of the DSL that we developed, and provide concrete data to demonstrate its effectiveness. In particular, we show that the DSL has several significant benefits over the original, XML-based approach including reduced code size, increased modularity and scalability, and detection and prevention of common defects. For example, using the DSL, we were able to produce clear and intuitive descriptions of component configurations that were sometimes less than 1/30 of the size of the original XML.

关键词： design languages domain-specific languages functional programming Haskell component configuration Timber

来源：评论

学校读者我要写书评

暂无评论

Flask: Staged functional programming for sensor networks

Flask: Staged functional programming for sensor networks

引用

13th acm sigplan international conference on functional programming

作者： Mainland, Geoffrey Morrisett, Greg Welsh, Matt Harvard Univ Sch Engn & Appl Sci Cambridge MA 02138 USA

ISBN: (纸本)9781595939197

Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful abstraction facilities at our fingertips, but how can we make use of these tools on a device with an 8-or 16-bit CPU and at most tens of kilobytes of RAM? Motivated by this challenge, we have developed Flask, a domain specific language embedded in Haskell that brings the power of functional programming to sensor networks, collections of highly resource-constrained devices. Flask consists of a staging mechanism that cleanly separates node-level code from the meta-language used to generate node-level code fragments;syntactic support for embedding standard sensor network code;a restricted subset of Haskell that runs on sensor networks and constrains program space and time consumption;a higher-level "data stream" combinator library for quickly constructing sensor network programs;and an extensible runtime that provides commonly-used services. We demonstrate Flask through several small code examples as well as a compiler that generates node-level code to execute a network-wide query specified in a SQL-like language. We show how using Flask ensures constraints on space and time behavior. through microbenchmarks and measurements on physical hardware, we demonstrate that Flask produces programs that are efficient in terms of CPU and memory usage and that can run effectively on existing sensor network hardware.

关键词： languages design meta programming

来源：评论

学校读者我要写书评

暂无评论

Defunctionalized interpreters for programming languages 08

Defunctionalized interpreters for programming languages

引用

13th acm sigplan international conference on functional programming

作者： Danvy, Olivier Univ Aarhus Dept Comp Sci DK-8200 Aarhus N Denmark

ISBN: (纸本)9781595939197

this document illustrates how functional implementations of formal semantics ( structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each other. these transformations were foreshadowed by Reynolds in "Definitional Interpreters for Higher-Order programming Languages" for functional implementations of denotational semantics, natural semantics, and big-step abstract machines using closure conversion, CPS transformation, and defunctionalization. Over the last few years, the author and his students have further observed that functional implementations of small-step and of big-step abstract machines are related using fusion by fixed-point promotion and that functional implementations of reduction semantics and of small-step abstract machines are related using refocusing and transition compression. It furthermore appears that functional implementations of structural operational semantics and of reduction semantics are related as well, also using CPS transformation and defunctionalization. this further relation provides an element of answer to Felleisen's conjecture that any structural operational semantics can be expressed as a reduction semantics: for deterministic languages, a reduction semantics is a structural operational semantics in continuation style, where the reduction context is a defunctionalized continuation. As the defunctionalized counterpart of the continuation of a one-step reduction function, a reduction context represents the rest of the reduction, just as an evaluation context represents the rest of the evaluation since it is the defunctionalized counterpart of the continuation of an evaluation function.

关键词： relations between models big-step abstract machines context-sensitive reduction semantics continuations CPS transformation defunctionalization

来源：评论

学校读者我要写书评

暂无评论

Polymorphism and Page Tables Systems programming From a functional Programmer's Perspective 08

Polymorphism and Page Tables Systems Programming From a Func...

引用

13th acm sigplan international conference on functional programming

作者： Jones, Mark P. Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9781595939197

With features that include lightweight syntax, expressive type systems, and deep semantic foundations, functional languages are now being used to develop an increasingly broad range of complex, real-world applications. In the area of systems software, however, where performance and interaction with low-level aspects of hardware are central concerns, many practitioners still eschew the advantages of higher-level languages for the potentially unsafe but predictable behavior of traditional imperative languages like C. It is ironic that critical applications such as operating systems kernels, device drivers, and VMMs-where a single bug could compromise the reliability or security of a whole system-are among the least likely to benefit from the abstractions and safety guarantees of modern language designs. Over the last few years, our group has been investigating the potential for using Haskell to develop realistic operating systems that can boot and run on bare metal. the House system, developed primarily by thomas Hallgren and Andrew Tolmach, demonstrates that it is indeed possible to construct systems software in a functional language. But House still relies on a layer of runtime support primitives-some written using unsafe Haskell primitives and others written in C-to provide services ranging from garbage collection to control of the page table structures used by the hardware memory management unit. We would like to replace as much of this layer as possible with code written in a functional language without compromising on type or memory safety. Our experiences with House have led us to believe that a new functional language is required to reflect the needs of the systems domain more directly. Interestingly, however, we have concluded that this does not require fundamental new language design. In this invited talk, I will give an update on the current status of our project and I will describe how we are leveraging familiar components of the Haskell type system-includ

关键词： functional programming systems programming type systems data representation memory manipulation

来源：评论

学校读者我要写书评

暂无评论

Report on the tenth ICFP programming contest

Report on the tenth ICFP programming contest

引用

13th acm sigplan international conference on functional programming, ICFP'08

作者： Dolstra, Eelco Löh, Andres Hage, Jurriaan Löh, Clara Heeren, Bastiaan Middelkoop, Arie Holdermans, Stefan Rodriguez, Alexey Jeuring, Johan Van Schie, John Department of Software Technology Delft University of Technology Netherlands Software Technology ICS Utrecht University Netherlands Open Universiteit Nederland Netherlands WWU Münster Germany

ISBN: (纸本)9781595939197

the ICFP programming contest is a 72-hour contest, which attracts thousands of contestants from all over the world. In this report we describe what it takes to organise this contest, the main ideas behind the contest we organised, the task, how to solve it, how we created it, and how well the contestants did. this year's task was to reverse engineer the DNA of a stranded alien life form to enable it to survive on our planet. the alien's DNA had to be modified by means of a prefix that modified its meaning so that the alien's phenotype would approximate a given "ideal" outcome, increasing its probability of survival. About 357 teams from 39 countries solved at least part of the contest. the language of choice for discriminating hackers turned out to be C++. Copyright © 2008 acm.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

the dynamic factory pattern 08

The dynamic factory pattern

引用

15th conference on Pattern Languages of Programs, PLoP08

作者： Welicki, León Yoder, Joseph W. Wirfs-Brock, Rebecca Basauri 7-9 28023 Madrid Spain Refactory Inc. 7 Florida Drive Urbana IL 61801 United States Wirfs-Brock Associates 24003 S.W. Baker Road Sherwood OR United States

the Dynamic Factory pattern describes a factory that can create product instances based on concrete type definitions stored as external metadata. this facilitates adding new products to a system without having to modi... 详细信息

ISBN: (纸本)9781605581514

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Patterns for ADT optimisation 08

Patterns for ADT optimisation

引用

15th conference on Pattern Languages of Programs, PLoP08

作者： Pearce, David J. Noble, James Computer Science Victoria University of Wellington New Zealand

ISBN: (纸本)9781605581514

Operations on abstract data types can be classified as either queries or updates - those that either query the current state, or update it. Modern object-oriented programming languages require classes/interfaces to support a predefined set of such operations. this presents a challenge for software designers, since a fixed interface can severely restrict the opportunities for optimisation. In this paper, we present two common patterns - Specific Query Optimisation and Generalised Query Optimisation - for optimising such operations. the first requires specific knowledge of which operation to optimise beforehand, whilst the latter provides more leeway in this regard. these patterns are commonly occurring in software, and we find numerous instances of them within the Java standard libraries. © 2008 is held by the author(s).

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Patterns for monitoring scenarios to handle state based crosscutting concerns 08

Patterns for monitoring scenarios to handle state based cros...

引用

15th conference on Pattern Languages of Programs, PLoP08

作者： Mahoney, Mark Elrad, Tzilla Carthage College Kenosha WI United States Illinois Institute of Technology Chicago IL United States

ISBN: (纸本)9781605581514

this paper describes two patterns, Scenario Monitor and Bind Completed Scenario to Event. the first allows scenarios to be monitored. the second uses scenario monitoring to address state based crosscutting concerns in traditional data transformational systems. Crosscutting concerns are tangled with core application concerns and scattered throughout a system. Core concerns are monitored for scenarios that represent events of interest to a crosscutting concern. When the monitored scenarios complete an event is injected into a crosscutting state machine that may react by introducing additional behavior. these patterns permit the monitoring and subsequent behavioral reaction in a minimally invasive way with loose coupling. No special tools or languages are required. An example using the approach is presented. © 2008 is held by the author(s).

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

PLoP08 - 15th conference on Pattern Languages of Programs, Proceedings

PLoP08 - 15th Conference on Pattern Languages of Programs, P...

引用

15th conference on Pattern Languages of Programs, PLoP08

ISBN: (纸本)9781605581514

the proceedings contain 26 papers. the topics discussed include: patterns for data and metadata evolution in adaptive object-models;freeway patterns for SOA systems;enterprise architecture management patterns;patterns for understanding frameworks;the dynamic factory pattern;a pattern language for developing analog to digital converter data sampling firmware;learning and studying interaction design through design patterns;continuous feedback pedagogical patterns;thoughts on weak links and alexandrian life in Scrum;additional patterns for fearless change;the relation between design patterns and schema theory;fundamental banking patterns;runtime Mix'n match design pattern;deferred cancellation. a behavioral pattern;a pattern for monitoring scenarios to handle state based crosscutting concerns;a catalogue of bug patterns for exception handling in aspect-oriented programs;and patterns for the secure and reliable execution of processess.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DEQUALITE: Building design-based software quality models 08

DEQUALITE: Building design-based software quality models

引用

15th conference on Pattern Languages of Programs, PLoP08

作者： Khomh, Foutse Guéhéneuc, Yann-Gaël Ptidej Team GEODES University of Montreal C.P. 6128 succursale Centre Ville Montréal QC H3C 3J7 Canada

ISBN: (纸本)9781605581514

Object-oriented software quality models usually use metrics of classes or of relationships between classes to measure internal attributes of systems. However, the quality of these systems does not depend on classes solely: It also depends on the organisation of classes, i.e., their design. We propose DEQUALITE, a method to build models to measure the quality of systems taking into account both their internal attributes and their designs. Our method uses a machine learning approach and also allows combining different models to improve the quality prediction. In this paper, we justify the use of patterns to build quality models, we illustrate our method on a set of systems implementing design patterns and on the quality model QMOOD from Bansiya et al. We discuss the advantages and limitations of this method, we then present a validation of a resulting quality model on a set of systems. We conclude on the advantages of using patterns to build models and the difficulty of doing so. © 2008 is held by the author(s).

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共70页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：