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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

631 篇 会议
68 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

105 篇 functional progr...
66 篇 languages
63 篇 computer program...
46 篇 design
35 篇 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

机构

8 篇 carnegie mellon ...
7 篇 northeastern uni...
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 篇 dreyer derek
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 watanabe takuo

语言

641 篇 英文
55 篇 其他
2 篇 法文
2 篇 葡萄牙文
2 篇 中文

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

共 702 条记录，以下是221-230 订阅

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

详细简洁

排序：

Workshop preview of the 13th international workshop on dynamic analysis (WODA 2015)

Workshop preview of the 13th international workshop on dynam...

引用

acm sigplan international conference on Systems, programming, Languages and Applications: Software for Humanity, SPLASH 2015

作者： Xu, Guoqing Binder, Walter UC Irvine United States University of Lugano Switzerland

ISBN: (纸本)9781450337229

Dynamic analysis techniques are prevalently used for understandings runtime program behaviors for bug detection, memory management, or performance analysis. the 13th international Workshop on Dynamic Analysis (WODA'15) provides a forum for researchers and practitioners to discuss recent development of dynamic analysis techniques and exchange new ideas. It is held in Pittsburgh, PA on October 26, 2015 and is co-located with SPLASH 2015.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Generating Safe Boundary APIs between Typed EDSLs and their Environments 2015

Generating Safe Boundary APIs between Typed EDSLs and Their ...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Reynders, Bob Devriese, Dominique Piessens, Frank Katholieke Univ Leuven iMinds Distrinet Leuven Belgium

ISBN: (纸本)9781450336871

Embedded domain specific languages (EDSLs) are used to represent special-purpose code in a general-purpose language and they are used for applications like vector calculations and run-time code generation. Often, code in an EDSL is compiled to a target (e.g. GPU languages, JVM bytecode, assembly, JavaScript) and needs to interface with other code that is available at that level but uses other data representations or calling conventions. We present an approach for safely making available such APIs in a typed EDSL, guaranteeing correct conversions between data representations and the respect for calling conventions. When the code being interfaced with is the result of static compilation of host language code, we propose a way to auto-generate the needed boilerplate using meta-programming. We instantiate our technique with JavaScript as the target language, JS-Scala as the EDSL, *** as the static compiler and Scala macros to generate the boilerplate, but our design is more generally applicable. We provide evidence of usefulness of our approach through a prototype implementation that we have applied in a non-trivial code base.

关键词： embedded domain specific languages Scala meta-programming

来源：评论

学校读者我要写书评

暂无评论

Program Synthesis: Opportunities for the Next Decade 2015

Program Synthesis: Opportunities for the Next Decade

引用

20th acm sigplan international conference on functional programming (ICFP)

作者： Bodik, Rastislav Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9781450336697

Program synthesis is the contemporary answer to automatic programming. It innovates in two ways: First, it replaces batch automation with interactivity, assisting the programmer in refining the understanding of the programming problem. Second, it produces programs using search in a candidate space rather than by derivation from a specification. Searching for an acceptable program means that we can accommodate incomplete specifications, such as examples. Additionally, search makes synthesis applicable to domains that lack correct-by-construction derivation rules, such as hardware design, education, end-user programming, and systems biology. the future of synthesis rests on four challenges, each presenting an opportunity to develop novel abstractions for "programming with search." Larger scope: today, we synthesize small, flat programs;synthesis of large software will need constructs for modularity and stepwise refinement. New interaction modes: to solicit the specification without simply asking for more examples, we need to impose a structure on the candidate space and explore it in a dialogue. Construction: how to compile a synthesis problem to a search algorithm without building a compiler? Everything is a program: whatever can be phrased as a program can be in principle synthesized. Indeed, we will see synthesis advance from synthesis of plain programs to synthesis of compilers and languages. the latter may include DSLs, type systems, and modeling languages for biology. As such, synthesis could help mechanize the crown jewel of programming languages research - the design of abstractions - which has so far been done manually and only by experts.

关键词： programming Languages Program Synthesis

来源：评论

学校读者我要写书评

暂无评论

Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems 2015

Generating Reactive Programs for Graphical User Interfaces f...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Foust, Gabriel Jarvi, Jaakko Parent, Sean Texas A&M Univ College Stn TX 77843 USA Adobe Syst Inc Mountain View CA USA

ISBN: (纸本)9781450336871

For a GUI to remain responsive, it must be able to schedule lengthy tasks to be executed asynchronously. In the traditional approach to GUI implementation-writing functions to handle individual user events-asynchronous programming easily leads to defects. Ensuring that all data dependencies are respected is difficult when new events arrive while prior events are still being handled. Reactive programming techniques, gaining popularity in GUI programming, help since they make data dependencies explicit and enforce them automatically as variables' values change. However, data dependencies in GUIs usually change along with its state. Reactive programming must therefore describe a GUI as a collection of many reactive programs, whose interaction the programmer must explicitly coordinate. this paper presents a declarative approach for GUI programming that relieves the programmer from coordinating asynchronous computations. the approach is based on our prior work on "property models", where GUI state is maintained by a dataflow constraint system. A property model responds to user events by atomically constructing new data dependencies and scheduling asynchronous computations to enforce those dependencies. In essence, a property model dynamically generates a reactive program, adding to it as new events occur. the approach gives the following guarantee: the same sequence of events produces the same results, regardless of the timing of those events.

关键词： Dataflow constraint systems Graphical user interfaces asynchronous programming

来源：评论

学校读者我要写书评

暂无评论

Almost First-Class Language Embedding Taming Staged Embedded DSLs 2015

Almost First-Class Language Embedding Taming Staged Embedded...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Scherr, Maximilian Chiba, Shigeru Univ Tokyo Tokyo Japan

ISBN: (纸本)9781450336871

Embedded domain-specific languages (EDSLs), inheriting a general-purpose language's features as well as look-and-feel, have traditionally been second-class or rather non-citizens in terms of host-language design. this makes sense when one regards them to be on the same level as traditional, non-EDSL library interfaces. However, this equivalence only applies to the simplest of EDSLs. In this paper we illustrate why this is detrimental when moving on to EDSLs that employ staging, i.e. program reification, by example of various issues that affect authors and users alike. We believe that if EDSLs are to be considered a reliable, language-like interface abstraction, they require exceptional attention and design scrutiny. Instead of unenforceable conventions, we advocate the acceptance of EDSLs as proper, i.e. almost first-class, citizens while retaining most advantages of pure embeddings. As a small step towards this goal, we present a pragmatic framework prototype for Java. It is based on annotations that explicate and document membership to explicit EDSL entities. In a nutshell, our framework identifies (annotated) method calls and field accesses as EDSL terms and dynamically constructs an abstract-syntax representation, which is eventually passed to a semantics-defining back end implemented by the EDSL author.

关键词： Java implementation embedded DSLs metaprogramming program transformation staging programming languages design

来源：评论

学校读者我要写书评

暂无评论

ICFP 2014 - Proceedings of the 2014 acm sigplan international conference on functional programming

ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN Internationa...

引用

19th acm sigplan international conference on functional programming, ICFP 2014

ISBN: (纸本)9781450328739

the proceedings contain 29 papers. the topics discussed include: building embedded systems with embedded DSLs;SeLINQ: tracking information across application-database boundaries;type-based parametric analysis of program families;Romeo: a system for more flexible binding-safe programming;maximal sharing in the lambda calculus with letrec;practical and effective higher-order optimizations;compositional semantics for composable continuations: from abortive to delimited control;coeffects: a calculus of context-dependent computation;SML# in industry: a practical ERP system development;Lem: reusable engineering of real-world semantics;settable and non-interfering signal functions for fill?: how a first-order switch is more than enough;functional programming for dynamic and large data with self-adjusting computation;refinement types for Haskell;a theory of gradual effect systems;and there is no fork: an abstraction for efficient, concurrent, and concise data access.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lightweight, Generative Variant Exploration for High-Performance Graphics Applications 2015

Lightweight, Generative Variant Exploration for High-Perform...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Selgrad, Kai Lier, Alexander Koeferl, Franz Stamminger, Marc Lohmann, Daniel Kastner, Christian Friedrich Alexander Univ Erlangen Nurnberg Erlangen Germany

ISBN: (纸本)9781450336871

Rendering performance is an everlasting goal of computer graphics and significant driver for advances in both, hardware architecture and algorithms. thereby, it has become possible to apply advanced computer graphics technology even in low-cost embedded appliances, such as car instruments. Yet, to come up with an efficient implementation, developers have to put enormous efforts into hardware/problem-specific tailoring, fine-tuning, and domain exploration, which requires profound expert knowledge. If a good solution has been found, there is a high probability that it does not work as well with other architectures or even the next hardware generation. Generative DSL-based approaches could mitigate these efforts and provide for an efficient exploration of algorithmic variants and hardware-specific tuning ideas. However, in vertically organized industries, such as automotive, suppliers are reluctant to introduce these techniques as they fear loss of control, high introduction costs, and additional constraints imposed by the OEM with respect to software and tool-chain certification. Moreover, suppliers do not want to share their generic solutions with the OEM, but only concrete instances. To this end, we propose a light-weight and incremental approach for meta programming of graphics applications. Our approach relies on an existing formulation of C-like languages that is amenable to meta programming, which we extend to become a lightweight language to combine algorithmic features. Our method provides a concise notation for meta programs and generates easily sharable output in the appropriate C-style target language.

关键词： exploratory programming general purpose code generation prototyping ray tracing

来源：评论

学校读者我要写书评

暂无评论

POP-PL: A Patient-Oriented Prescription programming Language 2015

POP-PL: A Patient-Oriented Prescription Programming Language

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Florence, Spencer P. Fetscher, Bruke Flatt, Matthew Temps, William H. Kiguradze, Tina West, Dennis P. Niznik, Charlotte Yarnold, Paul R. Findler, Robert Bruce Belknap, Steven M. Northwestern Univ Dept Elect Engn & Comp Sci Evanston IL 60208 USA Univ Utah Sch Comp Salt Lake City UT USA Northwestern Univ Dept Dermatol Feinberg Sch Med Chicago IL USA Optimal Data Anal LLC San Diego CA USA Northwestern Univ Dept Med Div Gen Internal Med & Geriatr Feinberg Sch Med Chicago IL USA

ISBN: (纸本)9781450336871

Medical professionals have long used algorithmic thinking to describe and implement health care processes without the benefit of the conceptual framework provided by a programming language. Instead, medical algorithms are expressed using English, flowcharts, or data tables. this results in prescriptions that are difficult to understand, hard to debug, and awkward to reuse. this paper reports on the design and evaluation of a domain-specific programming language, POP-PL, for expressing medical algorithms. the design draws on the experience of researchers in two disciplines, programming languages and medicine. the language is based around the idea that programs and humans have complementary strengths, that when combined can make for safer, more accurate performance of prescriptions. We implemented a prototype of our language and evaluated its design by writing prescriptions in the new language and administering a usability survey to medical professionals. this formative evaluation suggests that medical prescriptions can be conveyed by a programming language's mode of expression and provides useful information for refining the language. Analysis of the survey results suggests that medical professionals can understand and correctly modify programs in POP-PL.

关键词： DSL Design Medical programming Languages Medical Prescriptions Empirical Evaluation

来源：评论

学校读者我要写书评

暂无评论

Native-2-Native Automated Cross-Platform Code Synthesis from Web-Based programming Resources 2015

Native-2-Native Automated Cross-Platform Code Synthesis from...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Byalik, Antuan Chadha, Sanchit Tilevich, Eli Virginia Tech Software Innovat Lab Blacksburg VA 24061 USA

ISBN: (纸本)9781450336871

For maximal market penetration, popular mobile applications are typically supported on all major platforms, including Android and iOS. Despite the vast differences in the look-and-feel of major mobile platforms, applications running on these platforms in essence provide the same core functionality. As an application is maintained and evolved, the resulting changes must be replicated on all the supported platforms, a tedious and error-prone programming process. Existing automated source-to-source translation tools prove inadequate due to the structural and idiomatic differences in how functionalities are expressed across major platforms. In this paper, we present a new approach-Native-2-Native-that automatically synthesizes code for a mobile application to make use of native resources on one platform, based on the equivalent program transformations performed on another platform. First, the programmer modifies a mobile application's Android version to make use of some native resource, with a plugin capturing code changes. Based on the changes, the system then parameterizes a web search query over popular programming resources (e.g., Google Code, StackOverflow, etc.), to discover equivalent iOS code blocks with the closest similarity to the programmer-written Android code. the discovered iOS code block is then presented to the programmer as an automatically synthesized Swift source file to further fine-tune and subsequently integrate in the mobile application's iOS version. Our evaluation, enhancing mobile applications to make use of common native resources, shows that the presented approach can correctly synthesize more than 86% of Swift code for the subject applications' iOS versions.

关键词： Recommendation Systems Code Synthesis Mobile Computing Android iOS Java Swift

来源：评论

学校读者我要写书评

暂无评论

15th international Symposium on Trends in functional programming, TFP 2014

15th International Symposium on Trends in Functional Program...

引用

15th international Symposium on Trends in functional programming, TFP 2014

ISBN: (纸本)9783319146744

the proceedings contain 10 papers. the special focus in this conference is on Trends in functional programming. the topics include: Balancing shared and distributed heaps on NUMA architectures;resource-dependent algebraic effects;call Arity;graph problems and vector-matrix multiplications in Haskell;a functional approach to sex;type generic observing;Refactorings to enable parallelization and an infrastructure to graphically represent the definition and behaviour of tasks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共71页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：