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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Using functional reactive programming for Robotic Art: An Experience Report 12

Using Functional Reactive Programming for Robotic Art: An Ex...

引用

12th ACM SIGPLAN International Workshop on functional Art, Music, Modelling, and Design (FARM)

作者： Schmidli, Eliane Irene Mehta, Farhad OST Univ Appl Sci Eastern Switzerland Rapperswil Switzerland

ISBN: (纸本)9798400710995

The control software for robotics applications is usually written in a low-level imperative style, intertwining the program sequence and commands for motors and sensors. To describe the program's behavior, it is typically divided into different states, each representing a specific system condition. This way of programming complicates the comprehension of the code, making changes to the program flow a tedious task. functional reactive programming (FRP) offers a composable, modular approach for developing reactive applications. To examine the strengths and limitations of FRP compared to the conventional imperative style, the control software for a robotic artwork was implemented using a form of FRP in the Haskell programming language. The resulting design separates the control of the hardware from the implementation of its behavior. In addition, state transitions are presented more clearly, resulting in code that is more understandable, especially for people with little programming experience.

关键词： functional reactive programming Robotics

来源：评论

学校读者我要写书评

暂无评论

Implementation and Evaluation of an Interpreter for functional reactive programming on Small Embedded Devices 23

Implementation and Evaluation of an Interpreter for Function...

引用

7th International Conference on the Art, Science, and Engineering of programming (programming)

作者： Suzuki, Go Watanabe, Takuo Moriguchi, Sosuke Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9798400707551

This paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping and development of microcontroller-based embedded systems. The interpreter runs on small-scale embedded devices based on 32-bit microcontrollers, such as ESP32 with 520KiB size data RAM. The evaluation shows that the memory usage of Emfrp-REPL is comparable to MicroPython, and the range of its latency is narrower than MicroPython, according to microbenchmarks.

关键词： functional reactive programming embedded systems Read-Eval-Print Loop

来源：评论

学校读者我要写书评

暂无评论

Monadic functional reactive programming

Monadic Functional Reactive Programming

引用

ACM SIGPLAN Haskell Symposium Co-located with ICFP

作者： van der Ploeg, Atze Ctr Wiskunde & Informat Amsterdam Netherlands

ISBN: (纸本)9781450323833

functional reactive programming (FRP) is a way to program reactive systems in functional style, eliminating many of the problems that arise from imperative techniques. In this paper, we present an alternative FRP formulation that is based on the notion of a reactive computation: a monadic computation which may require the occurrence of external events to continue. A signal computation is a reactive computation that may also emit values. In contrast to signals in other FRP formulations, signal computations can end, leading to a monadic interface for sequencing signal phases. This interface has several advantages: routing is implicit, sequencing signal phases is easier and more intuitive than when using the switching combinators found in other FRP approaches, and dynamic lists require much less boilerplate code. In other FRP approaches, either the entire FRP expression is re-evaluated on each external stimulus, or impure techniques are used to prevent redundant re-computations. We show how Monadic FRP can be implemented straightforwardly in a purely functional way while preventing redundant re-computations.

关键词： functional reactive programming Monads

来源：评论

学校读者我要写书评

暂无评论

Higher-Order functional reactive programming in Bounded Space 12

Higher-Order Functional Reactive Programming in Bounded Spac...

引用

39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages

作者： Krishnaswami, Neelakantan R. Benton, Nick Hoffmann, Jan Max Planck Institute for Software Systems Saarbruecken Germany Microsoft Research Cambridge United Kingdom Yale University New Haven CT USA

ISBN: (纸本)9781450310833

functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that make FRP attractive as a programming model do, however, often lead to programs whose resource usage is excessive and hard to predict. In this paper, we address the problem of space leaks in discrete-time functional reactive programs. We present a functional reactive programming language that statically bounds the size of the dataflow graph a reactive program creates, while still permitting use of higher-order functions and higher-type streams such as streams of streams. We achieve this with a novel linear type theory that both controls allocation and ensures that all recursive definitions are well-founded. We also give a denotational semantics for our language by combining recent work on metric spaces for the interpretation of higher-order causal functions with length-space models of space-bounded computation. The resulting category is doubly closed and hence forms a model of the logic of bunched implications.

关键词： functional reactive programming dataflow space-bounded computation linear logic bunched implications

来源：评论

学校读者我要写书评

暂无评论

Development of functional reactive programming using an Incrementally Modular Abstraction Hierarchy 5

Development of Functional Reactive Programming using an Incr...

引用

5th International Conference on IT Convergence and Security (ICITCS)

作者： Ohmori, Kenji Hosei Univ Comp & Informat Sci 3-7-2 Kajino Cho Koganei Tokyo 1848584 Japan

ISBN: (纸本)9781467365376

The incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functional programming. In this work, this was done by using the Netwire programming library to implement functional reactive programming in the language Haskell, which is based on category theory. We developed the incrementally modular abstraction hierarchy (IMAH) to introduce a modern mathematical method for developing computer games in Netwire and demonstrated that IMAH is capable of facilitating the design and implementation of this challenging but difficult application area.

关键词： pure functional programming functional reactive programming incrementally modular abstraction hierarchy computer game

来源：评论

学校读者我要写书评

暂无评论

Emfrp: A functional reactive programming Language for Small-Scale Embedded Systems 2016

Emfrp: A Functional Reactive Programming Language for Small-...

引用

15th International Conference on Modularity (MODULARITY)

作者： Sawada, Kensuke Watanabe, Takuo Tokyo Inst Technol Dept Comp Sci Meguro Ku W8-752-12-1 Ookayama Tokyo 1528552 Japan

ISBN: (纸本)9781450340335

In this paper, we introduce a new functional reactive programming (FRP) language Emfrp designed to support small-scale embedded systems. An Emfrp program defines a system as a fixed directed graph whose nodes correspond to the time-varying values in the system. The language equips a simple mechanism that enables each node to refer the past values of arbitrary nodes. Using this mechanism, Emfrp provides simplicity and flexibility for describing complex time-dependent reactive behaviors without space and time leaks. Our Emfrp compiler produces platform-independent ANSI-C code that can run on multiple processors including resource constrained microcontrollers. To demonstrate the capabilities of the language, we show a simple but non-trivial example application.

关键词： functional reactive programming Embedded Systems

来源：评论

学校读者我要写书评

暂无评论

Asynchronous functional reactive programming for GUIs

Asynchronous Functional Reactive Programming for GUIs

引用

34th ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI)

作者： Czaplicki, Evan Chong, Stephen Harvard Univ Cambridge MA 02138 USA

ISBN: (纸本)9781450320146

Graphical user interfaces (GUIs) mediate many of our interactions with computers. functional reactive programming (FRP) is a promising approach to GUI design, providing high-level, declarative, compositional abstractions to describe user interactions and time-dependent computations. We present Elm, a practical FRP language focused on easy creation of responsive GUIs. Elm has two major features: simple declarative support for Asynchronous FRP;and purely functional graphical layout. Asynchronous FRP allows the programmer to specify when the global ordering of event processing can be violated, and thus enables efficient concurrent execution of FRP programs;long-running computation can be executed asynchronously and not adversely affect the responsiveness of the user interface. Layout in Elm is achieved using a purely functional declarative framework that makes it simple to create and combine text, images, and video into rich multimedia displays. Together, Elm's two major features simplify the complicated task of creating responsive and usable GUIs.

关键词： Languages Design functional reactive programming Graphical User Interfaces

来源：评论

学校读者我要写书评

暂无评论

Higher-Order functional reactive programming without Spacetime Leaks 13

Higher-Order Functional Reactive Programming without Spaceti...

引用

18th ACM SIGPLAN International Conference on functional programming

作者： Krishnaswami, Neelakantan R. Max Planck Inst Software Syst MPI SWS Saarbrucken Germany

ISBN: (纸本)9781450323260

functional reactive programming (FRP) is an elegant approach to declaratively specify reactive systems. However, the powerful abstractions of FRP have historically made it difficult to predict and control the resource usage of programs written in this style. In this paper, we give a new language for higher-order reactive programming. Our language generalizes and simplifies prior type systems for reactive programming, by supporting the use of streams of streams, first-class functions, and higher-order operations. We also support many temporal operations beyond streams, such as terminatable streams, events, and even resumptions with first-class schedulers. Furthermore, our language supports an efficient implementation strategy permitting us to eagerly deallocate old values and statically rule out spacetime leaks, a notorious source of inefficiency in reactive programs. Furthermore, these memory guarantees are achieved without the use of a complex substructural type discipline. We also show that our implementation strategy of eager deallocation is safe, by showing the soundness of our type system with a novel step-indexed Kripke logical relation.

关键词： functional reactive programming Kripke logical relations temporal logic guarded recursion dataflow capabilities comonads

来源：评论

学校读者我要写书评

暂无评论

Towards Safe and Efficient functional reactive programming

Towards Safe and Efficient Functional Reactive Programming

引用

作者： Sculthorpe, Neil University of Nottingham

学位级别：博士

functional reactive programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on time-varying values (signals). FRP is based on the synchronous data-flow paradigm and supports both continuous-time and discrete-time signals (hybrid systems). What sets FRP apart from most other reactive languages is its support for systems with highly dynamic structure (dynamism) and higher-order reactive constructs (higher-order data-flow). However, the price paid for these features has been the loss of the safety and performance guarantees provided by other, less expressive, reactive languages. Statically guaranteeing safety properties of programs is an attractive proposition. This is true in particular for typical application domains for reactive programming such as embedded systems. To that end, many existing reactive languages have type systems or other static checks that guarantee domain-specific constraints, such as feedback being well-formed (causality analysis). However, compared with FRP, they are limited in their capacity to support dynamism and higher-order data-flow. On the other hand, as established static techniques do not suffice for highly structurally dynamic systems, FRP generally enforces few domain-specific constraints, leaving the FRP programmer to manually check that the constraints are respected. Thus, there is currently a trade-off between static guarantees and dynamism among reactive languages. This thesis contributes towards advancing the safety and efficiency of FRP by studying highly structurally dynamic networks of functions operating on mixed (yet distinct) continuous-time and discrete-time signals. First, an ideal denotational semantics is defined for this kind of FRP, along with a type system that captures domain-specific constraints. The correctness and practicality of the language and type system are then demonstrated by proof-of-concept implementations in Agda and Haskell. Finally, tempo

关键词： functional reactive programming frp agda haskell

来源：评论

学校读者我要写书评

暂无评论

functional reactive programming with liveness guarantees 13

Functional reactive programming with liveness guarantees

引用

Proceedings of the 18th ACM SIGPLAN international conference on functional programming

作者： Alan Jeffrey Alcatel-Lucent Naperville IL USA

ISBN: (纸本)9781450323260

functional reactive programming (FRP) is an approach to the development of reactive systems which provides a pure functional interface, but which may be implemented as an abstraction of an imperative event-driven layer. FRP systems typically provide a model of behaviours (total time-indexed values, implemented as pull systems) and event sources (partial time-indexed values, implemented as push systems). In this paper, we investigate a type system for event-driven FRP programs which provide liveness guarantees, that is every input event is guaranteed to generate an output event. We show that FRP can be implemented on top of a model of sets and relations, and that the isomorphism between event sources and behaviours corresponds to the isomorphism between relations and set-valued functions. We then implement sets and relations using a model of continuations using the usual double-negation CPS transform. The implementation of behaviours as pull systems based on futures, and of event sources as push systems based on the observer pattern, thus arises from first principles. We also discuss a Java implementation of the FRP model.

关键词： concurrency functional reactive programming liveness

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：