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

9th ACM SIGPLAN Symposium on Haskell (Haskell 2016)

作者： Perez, Ivan Baerenz, Manuel Nilsson, Henrik Univ Nottingham Nottingham England Univ Bamberg Bamberg Germany

ISBN: (纸本)9781450344340

Functional reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. This paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by bench-marking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.

关键词： functional reactive programming reactive programming stream programming monadic streams Haskell

来源：评论

学校读者我要写书评

暂无评论

A Functional reactive programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers 38

A Functional Reactive Programming Language for Wirelessly Co...

引用

38th International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)

作者： Izawa, Yusuke Kadomoto, Junichiro Irie, Hidetsugu Sakai, Shuichi IBM Res Tokyo Japan Univ Tokyo Tokyo Japan

ISBN: (纸本)9798400703843

This work presents the concept of MorphLang, a functional reactive programming language tailored for shape-changeable computers, which are built using wirelessly interconnected chiplets. MorphLang simplifies the programming process for these systems by concentrating on the basic behaviors of individual nodes and their asynchronous communication. The language allows for compilation into binary or Arduino formats, and programs can be transmitted to each node either wirelessly or through physical connections.

关键词： shape-changeable computer reactive programming embedded systems

来源：评论

学校读者我要写书评

暂无评论

Distributed REScala: An Update Algorithm for Distributed reactive programming 14

Distributed REScala: An Update Algorithm for Distributed Rea...

引用

2014 ACM International Conference on Object-Oriented-programming-Systems-Languages-and-Applications (OOPSLA 14)

作者： Drechsler, Joscha Salvaneschi, Guido Mogk, Ragnar Mezini, Mira Tech Univ Darmstadt Darmstadt Germany Univ Lancaster Lancaster LA1 4YW England

ISBN: (纸本)9781450325851

reactive programming improves the design of reactive applications by relocating the logic for managing dependencies between dependent values away from the application logic to the language implementation. Many distributed applications are reactive. Yet, existing change propagation algorithms are not suitable in a distributed setting. We propose Distributed REScala, a reactive language with a change propagation algorithm that works without centralized knowledge about the topology of the dependency structure among reactive values and avoids unnecessary propagation of changes, while retaining safety guarantees (glitch freedom). Distributed REScala enables distributed reactive programming, bringing the benefits of reactive programming to distributed applications. We demonstrate the enabled design improvements by a case study. We also empirically evaluate the performance of our algorithm in comparison to other algorithms in a simulated distributed setting.

关键词： reactive programming Scala Distributed programming

来源：评论

学校读者我要写书评

暂无评论

Wallingford: Toward a Constraint reactive programming Language 2016

Wallingford: Toward a Constraint Reactive Programming Langua...

引用

15th International Conference on Modularity (MODULARITY)

作者： Borning, Alan Univ Washington Seattle WA 98195 USA Commun Design Grp Columbus OH 43231 USA

ISBN: (纸本)9781450340335

Wallingford is an experimental constraint reactive programming language that supports objects with state, persistent constraints on those objects, and reactive constraints that enable the system to respond to events by declaring constraints that become active when an event occurs, or while a condition holds. It is implemented in Rosette, a solver-aided programming language and environment for constructing DSLs in turn implemented in Racket. This short paper is a snapshot of work-in-progress on the system.

关键词： Object constraint languages reactive programming Rosette

来源：评论

学校读者我要写书评

暂无评论

Building IoT Systems Using Distributed First-Class reactive programming 10

Building IoT Systems Using Distributed First-Class Reactive ...

引用

10th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom)

作者： De Troyer, Christophe Nicolay, Jens De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781538678992

Contemporary IoT systems are challenging to develop, deploy, and maintain. This is because of their ever-increasing scale, dynamic network topologies, heterogeneity and resource constraints of the involved devices, and failures that may occur as a result of these characteristics. Existing approaches are either not at the right level of abstraction, require developers to learn specialized languages, or miss certain key features to address all these challenges in a uniform manner. In this paper we leverage reactive programming and code mobility to support the entire life-cycle of large-scale IoT systems. Our approach is based on existing programming technologies and offers simple and composable abstractions to developers. We implemented our approach as a middleware called Potato and used it to develop and deploy an IoT application on a Raspberry Pi cluster. We found that using Potato reduces much of the accidental complexity associated with developing and deploying IoT systems, resulting in clean and maintainable programs.

关键词： iot code mobility observables reactive programming

来源：评论

学校读者我要写书评

暂无评论

Quality-Aware reactive programming for the Internet of Things 1

引用

7th IPM International Conference on Fundamentals of Software Engineering (FSEN)

作者： Proenca, Jose Baquero, Carlos INESC TEC HASLab Braga Portugal Univ Minho Braga Portugal

ISBN: (数字)9783319689722

ISBN: (纸本)9783319689722;9783319689715

The reactive paradigm recently became very popular in user-interface development: updates - such as the ones from the mouse, keyboard, or from the network - can trigger a chain of computations organised in a dependency graph, letting the underlying engine control the scheduling of these computations. In the context of the Internet of Things (IoT), typical applications deploy components in distributed nodes and link their interfaces, employing a publish-subscribe architecture. The paradigm for Distributed reactive programming marries these two concepts, treating each distributed component as a reactive computation. However, existing approaches either require expensive synchronisation mechanisms or they do not support pipelining, i.e., allowingmultiple "waves" of updates to be executed in parallel. We propose Quarp (Quality-Aware reactive programming), a scalable and light-weight mechanism aimed at the IoT to orchestrate components triggered by updates of data-producing components or of aggregating components. This mechanism appends meta-information tomessages between components capturing the context of the data, used to dynamically monitor and guarantee useful properties of the dynamic applications. These include the so-called glitch freedom, time synchronisation, and geographical proximity. We formalise Quarp using a simple operational semantics, provide concrete examples of useful instances of contexts, and situate our approach in the realm of distributed reactive programming.

关键词： reactive programming Component-based systems Pervasive systems Distributed systems Failure

来源：评论

学校读者我要写书评

暂无评论

Safe Functional reactive programming through Dependent Types

Safe Functional Reactive Programming through Dependent Types

引用

14th ACM SIGPLAN International Conference on Functional programming

作者： Sculthorpe, Neil Nilsson, Henrik Univ Nottingham Sch Comp Sci Nottingham NG7 2RD England

ISBN: (纸本)9781605583327

Functional reactive programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on 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 languages for similar applications is its support for systems with dynamic structure and for higher-order reactive constructs. Statically guaranteeing correctness 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 properties, such as feedback loops always being well-formed. However, they are limited in their capabilities to support dynamism and higher-order data-flow compared with FRP. Thus, the onus of ensuring such properties of FRP programs has so far been on the programmer as established static techniques do not suffice. In this paper, we show how dependent types allow this concern to be addressed. We present an implementation of FRP embedded in the dependently-typed language Agda, leveraging the type system of the host language to craft a domain-specific (dependent) type system for FRP. The implementation constitutes a discrete, operational semantics of FRP, and as it passes the Agda type, coverage, and termination checks, we know the operational semantics is total, which means our type system is safe.

关键词： dependent types domain-specific languages DSELs FRP functional programming reactive programming synchronous data-flow

来源：评论

学校读者我要写书评

暂无评论

reactive programming of simulations in physics

引用

INTERNATIONAL JOURNAL OF MODERN PHYSICS C 2015年第12期26卷

作者： Boussinot, Frederic Monasse, Bernard Susini, Jean-Ferdy PSL Res Univ MINES ParisTech CEMEF CNRS UMR 7635 F-06904 Sophia Antipolis France lCEDIRE SEMpIA CNAM F-75141 Paris 03 France

We consider the reactive programming (RP) approach to simulate physical systems. The choice of RP is motivated by the fact that RP genuinely offers logical parallelism, instantaneously broadcast events, and dynamic creation/destruction of parallel components and events. To illustrate our approach, we consider the implementation of a system of Molecular Dynamics, in the context of Java with the Java3D library for 3D visualization.

关键词： Concurrency parallelism reactive programming physics molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

Historiographer: Strongly-Consistent Distributed reactive programming with Minimal Locking 38

Historiographer: Strongly-Consistent Distributed Reactive Pr...

引用

38th International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)

作者： Freeman, Julia Zhou, Timothy Francis Marion Univ Florence SC 29506 USA Univ Illinois Champaign IL USA

ISBN: (纸本)9798400703843

We propose a novel distributed reactive propagation semantics that provides strong consistency guarantees with minimal locking. This is achieved by decoupling reactive propagation from transaction execution, utilizing reactive histories to avoid propagating in-progress or inconsistent results. We formally define soundness properties in terms of histories, and sketch how our semantics upholds them. We implement Historiographer, a runtime incorporating our methods, and conduct a preliminary evaluation demonstrating performance improvements of up to 38% on select benchmarks.

关键词： reactive programming Concurrency Consistency

来源：评论

学校读者我要写书评

暂无评论

The IoT-architecture on the Principles of reactive programming

The IoT-architecture on the Principles of Reactive Programmi...

引用

2017 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)

作者： Romanov, Evgeny L. Troshina, Galina V. Novosibirsk State Tech Univ Comp Engn Dept Novosibirsk Russia

ISBN: (纸本)9781538615966

The IoT-system architecture is considered on the basis of the reactive programming paradigm. The generalized types and variables and also program modules are used for data presentation. Communication between the variables and the modules connections are established. The synchronization of variables values and the events transfer about their changes is carried out through these communications. Local communications are supported by the reactive programming system, remote communications are supported by service and the synchronization protocol. The events processing is made with use of the simple interpreted language. The WebAPI server allows clients to operate the server information model, to create own synchronized variables in client applications. The functioning uniform environment of the IoT, or the "clever house", or the distributed system is created on this basis.

关键词： Internet of things clever house reactive programming router cloud service

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：