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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

55 篇 会议
12 篇 期刊文献
3 篇 学位论文
2 册 图书

馆藏范围

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

日期分布

学科分类号

67 篇 工学
- 48 篇 软件工程
- 40 篇 计算机科学与技术...
- 5 篇 电气工程
- 3 篇 控制科学与工程
- 2 篇 电子科学与技术（可...
- 1 篇 仪器科学与技术
- 1 篇 信息与通信工程
- 1 篇 航空宇航科学与技...
4 篇 艺术学
- 3 篇 艺术学理论
- 3 篇 音乐与舞蹈学
- 1 篇 设计学（可授艺术学...
2 篇 理学
- 2 篇 数学
2 篇 医学
- 2 篇 临床医学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

72 篇 functional react...
9 篇 design
9 篇 reactive program...
8 篇 languages
8 篇 haskell
8 篇 temporal logic
5 篇 embedded systems
5 篇 stream programmi...
5 篇 arrows
4 篇 type systems
4 篇 dataflow
4 篇 liveness
4 篇 theory
4 篇 functional progr...
4 篇 modal types
4 篇 concurrency
3 篇 linear logic
3 篇 synchronous data...
3 篇 frp
3 篇 guarded recursio...

机构

4 篇 it univ copenhag...
3 篇 tokyo inst techn...
2 篇 github oxford en...
2 篇 ost univ appl sc...
2 篇 max planck inst ...
2 篇 alcatel lucent b...
2 篇 natl inst aerosp...
2 篇 yale univ new ha...
2 篇 microsoft resear...
2 篇 univ nottingham ...
2 篇 univ warwick cov...
2 篇 univ nottingham ...
1 篇 univ nottingham ...
1 篇 univ bamberg bam...
1 篇 univ texas san a...
1 篇 ctr wiskunde & i...
1 篇 microsoft corp r...
1 篇 mirea russian te...
1 篇 inesc tec porto
1 篇 alcatel lucent b...

作者

8 篇 perez ivan
5 篇 watanabe takuo
5 篇 nilsson henrik
5 篇 krishnaswami nee...
4 篇 bahr patrick
3 篇 jeffrey alan
3 篇 mogelberg rasmus...
3 篇 hudak paul
3 篇 moriguchi sosuke
2 篇 benton nick
2 篇 graulund christi...
2 篇 de meuter wolfga...
2 篇 praseed pai
2 篇 peter abraham
2 篇 van der ploeg at...
2 篇 edmonson william
2 篇 keating finnbar
2 篇 winograd-cort da...
2 篇 schmidli eliane ...
2 篇 jeltsch wolfgang

语言

69 篇 英文
3 篇 其他

检索条件"主题词=Functional Reactive Programming"

共 72 条记录，以下是61-70 订阅

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

详细简洁

排序：

Scripted Signal Functions 13

Scripted Signal Functions

引用

13th International Symposium on Haskell (Haskell)

作者： Stuart, David A.

ISBN: (纸本)9781450380508

programming time-dependent signals like animations involves expressing both continuous and discrete changes in signal values. The method of functional reactive programming (FRP) represents this simply and effectively as discrete modes of an otherwise continuous signal. In variants of FRP based on arrows, programs are composed not of signals but rather functions on signals. Accordingly, these signal functions can switch between discrete modes of operation. However, the literature emphasizes expressions of mode switching that are unnecessarily limited. An analysis of their limitations indicates the need for two new, primitive transformations of signal functions. These transformations help to define a monad that represents signal function modes, and this allows programmers to express switching in an imperative, script-like style. This scripting interface gains flexibility and power from several novel operations, including a general-purpose mapping between modes and a combination that mixes two concurrent modes into one. We demonstrate its usefulness with several examples.

关键词： functional reactive programming Haskell

来源：评论

学校读者我要写书评

暂无评论

Thorium: A Language for Bounded Verification of Dynamic reactive Objects 10

Thorium: A Language for Bounded Verification of Dynamic Reac...

引用

10th ACM SIGPLAN International Workshop on reactive and Event-Based Languages and Systems (REBLS)

作者： Baldor, Kevin Wang, Xiaoyin Niu, Jianwei Univ Texas San Antonio San Antonio TX 78249 USA Southwest Res Inst San Antonio TX 78238 USA

ISBN: (纸本)9798400704000

Developing reliable reactive software is notoriously difficult - particularly when that software reacts by changing its behavior. Some of this difficulty is inherent;software that must respond to external events as they arrive tends to end up in states that are dependent on the value of that input and its order of arrival. This results in complicated corner cases that can be challenging to recognize. However, we find that some of the complexity is an accident of the features of the programming languages widely used in industry. The loops and subroutines of structured programming are well-suited to data transformation, but poorly capture - and sometimes obscure - the flow of data through reactive programs developed using the inversion-of-control paradigm;an event handler that modifies the data flow tends to be declared closer to the definition of the event that activates it than to the initial definition of the data flow that it modifies. This paper approaches both challenges with a language inspired by the declarative modules of languages SIGNAL and Lustre and the semantics of the SodiumFRP functional reactive programming library with a declarative mechanism for self modification through module substitution. These language features lead to software with a code structure that closely matches the flow of data through the running program and thus makes software easier to understand. Further, we demonstrate how those language features enable a bounded model checking approach that can verify that a reactor meets its requirements or present a counterexample trace, a series of states and inputs that lead to a violation. We analyze the runtime performance of the verifier as a function of model size and trace length.

关键词： Bounded Model Checking functional reactive programming

来源：评论

学校读者我要写书评

暂无评论

This Is Driving Me Loopy: Efficient Loops in Arrowized functional reactive Programs 16

This Is Driving Me Loopy: Efficient Loops in Arrowized Funct...

引用

16th ACM SIGPLAN International Symposium on Haskell (Haskell)

作者： Keating, Finnbar Gale, Michael B. Univ Warwick Coventry W Midlands England GitHub Oxford England

ISBN: (纸本)9798400702983

Arrowized functional reactive programming (AFRP) is one approach to writing reactive programs declaratively, based on the arrows abstraction in Haskell. While AFRP elegantly expresses the relationships between inputs and outputs of a reactive system, naive implementations suffer from poor performance. In particular, the loop combinator depends on lazy semantics: this inflicts the overheads of lazy evaluation and simultaneously prevents existing optimisation techniques from being applied to it. We present a novel program transformation which utilises the Arrow and ArrowLoop laws to transform typical uses of loop into restricted forms that have an execution order that is known at compile-time and therefore can be executed strictly. We evaluate the performance gained from our transformations and prove that the transformations are correct.

关键词： functional reactive programming reactive programming stream programming arrows program transformation

来源：评论

学校读者我要写书评

暂无评论

A Semantic Model for Graphical User Interfaces 11

A Semantic Model for Graphical User Interfaces

引用

16th ACM SIGPLAN International Conference on functional programming (ICFP 11)

作者： Krishnaswami, Neelakantan R. Benton, Nick Microsoft Research Cambridge United Kingdom

ISBN: (纸本)9781450308656

We give a denotational model for graphical user interface (GUI) programming using the Cartesian closed category of ultrametric spaces. The ultrametric structure enforces causality restrictions on reactive systems and allows well-founded recursive definitions by a generalization of guardedness. We capture the arbitrariness of user input (e. g., a user gets to decide the stream of clicks she sends to a program) by making use of the fact that the closed subsets of an ultrametric space themselves form an ultrametric space, allowing us to interpret nondeterminism with a "powerspace" monad. Algebras for the powerspace monad yield a model of intuitionistic linear logic, which we exploit in the definition of a mixed linear/non-linear domain-specific language for writing GUI programs. The non-linear part of the language is used for writing reactive stream-processing functions whilst the linear sublanguage naturally captures the generativity and usage constraints on the various linear objects in GUIs, such as the elements of a DOM or scene graph. We have implemented this DSL as an extension to OCaml, and give examples demonstrating that programs in this style can be short and readable.

关键词： Languages Theory Design denotational semantics ultrametric spaces functional reactive programming guarded recursion linear logic

来源：评论

学校读者我要写书评

暂无评论

Verifying Event-Driven Programs using Ramified Frame Properties

Verifying Event-Driven Programs using Ramified Frame Propert...

引用

5th ACM SIGPLAN Workshop on Types in Language Design and Implementation

作者： Krishnaswami, Neelakantan R. Birkedal, Lars Aldrich, Jonathan Microsoft Research IT University of Copenhagen Denmark Carnegie Mellon University United States

ISBN: (纸本)9781605588919

Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not only the objects its own invariant depends on, but also all of the objects which depend upon it, in order to notify them when it changes. These bidirectional linkages pose a serious challenge to verification, because their correctness relies upon a global invariant over the object graph. We show how to modularly verify programs written using dynamically-generated bidirectional dependency information. The critical idea is to distinguish between the footprint of a command, and the state whose invariants depends upon the footprint. To do so, we define an application-specific semantics of updates, and introduce the concept of a ramification operator to explain how local changes can alter our knowledge of the rest of the heap. We illustrate the applicability of this style of proof with a case study from functional reactive programming, and formally justify reasoning about an extremely imperative implementation as if it were pure.

关键词： separation logic frame rule ramification problem dataflow functional reactive programming subject-observer

来源：评论

学校读者我要写书评

暂无评论

Rhine: FRP with Type-Level Clocks 11

Rhine: FRP with Type-Level Clocks

引用

Haskell Conference

作者： Baerenz, Manuel Perez, Ivan Univ Wien Math Fak Vienna Austria NIA Hampton VA USA

ISBN: (纸本)9781450358354

Processing data at different rates is generally a hard problem in reactive programming. Buffering problems, lags, and concurrency issues often occur. Many of these problems are clock errors, where data at different rates is combined incorrectly. Techniques to avoid clock errors, such as type-level clocks and deterministic scheduling, exist in the field of synchronous programming, but are not implemented in general-purpose languages like Haskell. Rhine is a clock-safe library for synchronous and asynchronous functional reactive programming (FRP). It separates the aspects of clocking, scheduling and resampling from each other, and ensures clock-safety at the type level. Concurrent communication is encapsulated safely. Diverse reactive subsystems can be combined in a coherent, declarative data-flow framework, while correct interoperability of data at different rates is guaranteed by type-level clocks. This provides a general-purpose framework that simplifies multi-rate FRP systems and can be used for game development, media applications, GUIs and embedded systems, through a flexible API with many reusable components.

关键词： functional reactive programming haskell reactive programming asynchronous programming

来源：评论

学校读者我要写书评

暂无评论

Demo Outline: Switched-on Yampa programming Modular Syntheziers in Haskell

Demo Outline: Switched-on Yampa Programming Modular Synthezi...

引用

11th ACM SIGPLAN Haskell Workshop

作者： Giorgidze, George Nilsson, Henrik Univ Nottingham Nottingham NG7 2RD England

ISBN: (纸本)9781595936745

In this demonstration, we present an implementation of a modular synthesizer in Haskell using Yampa. A synthesizer, be it a hardware instrument or a pure software implementation, as here, is said to be modular if it provides sound-generating and sound-shaping components that can be interconnected in arbitrary ways. Yampa, a Haskell-embedded implementation of functional reactive programming, supports flexible construction of hybrid systems. Since music is a hybrid continuous-time and discrete-time phenomenon, Yampa and is a good fit for such applications, offering some unique possibilities compared to most languages targeting music or audio applications. The demonstration illustrates this point by showing how simple audio blocks can be described and then interconnected in a network with dynamically changing structure, reflecting the changing demands of a musical performance.

关键词： functional reactive programming computer music

来源：评论

学校读者我要写书评

暂无评论

Software Patterns for Creating Computer Simulations 13th

Software Patterns for Creating Computer Simulations

引用

13th Computer Science Online Conference

作者： Sobolev, Yuriy Kreinin, Roman Kudinova, Tatiana Nanay, Farida MIREA Russian Technol Univ Moscow 119454 Russia

ISBN: (纸本)9783031705175;9783031705182

This article provides an overview of Object-oriented, Entity Component System and functional reactive programming software patterns for implementing real-time simulations with numerous interacting components. Three former patterns are used to implement a simple scene in Unity Engine, a comparison of flexibility and applicability is made #CSOC1120.

关键词： Real-Time Simulations Entity Component System functional reactive programming Monadic Stream Functions

来源：评论

学校读者我要写书评

暂无评论

Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems 10

Periodic and Aperiodic Task Description Mechanisms in an FRP...

引用

10th ACM SIGPLAN International Workshop on reactive and Event-Based Languages and Systems (REBLS)

作者： Sogo, Kento Tsuji, Yuta Moriguchi, Sosuke Watanabe, Takuo Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9798400704000

This paper presents mechanisms for describing real-time tasks in functional reactive programming (FRP) languages for small-scale embedded systems. We have designed and implemented Emfrp, an FRP language for resource-constrained systems, and demonstrated its usefulness with several applications. However, the language requires using external clocks as time-varying values when describing time-dependent behaviors. In this work, we extend the types of time-varying values that express their update timings to describe periodic and aperiodic tasks. The extensions enable concise and precise descriptions of various timed behaviors. We evaluate prototype implementations of the extended language concerning program size, execution time, and power consumption.

关键词： functional reactive programming periodic tasks aperiodic tasks embedded systems language design

来源：评论

学校读者我要写书评

暂无评论

Practical Principled FRP Forget the Past, Change the Future, FRPNow! 2015

Practical Principled FRP Forget the Past, Change the Future,...

引用

20th ACM SIGPLAN International Conference on functional programming (ICFP)

作者： van der Ploeg, Atze Claessen, Koen Chalmers Univ Technol Gothenburg Sweden

ISBN: (纸本)9781450336697

We present a new interface for practical functional reactive programming (FRP) that (1) is close in spirit to the original FRP ideas, (2) does not have the original space-leak problems, without using arrows or advanced types, and (3) provides a simple and expressive way for performing I/O actions from FRP code. We also provide a denotational semantics for this new interface, and a technique (using Kripke logical relations) for reasoning about which FRP functions may "forget their past", i.e. which functions do not have an inherent space-leak. Finally, we show how we have implemented this interface as a Haskell library called FRPNow.

关键词： functional reactive programming Space-leak Purely functional I/O Kripke logical relations

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：