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

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

来源：评论

学校读者我要写书评

暂无评论

Functional reactive programming, Rearranged 17

Functional Reactive Programming, Rearranged

引用

17th International Symposium on Haskell (Haskell)

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

ISBN: (纸本)9798400711022

At present, the most efficient implementations of Arrowized Functional reactive programming (AFRP), such as Scalable FRP (SFRP), do not support the loop combinator. This prevents us from expressing fundamental programs in such implementations, which limits AFRP's use in domains where both performance and expressivity are required. We introduce Oxbow, which extends SFRP with support for the loop combinator by leveraging an improved variant of the rearrange technique. In benchmarks, Oxbow performs at least 2.2x better than Yampa, an AFRP implementation that supports the loop combinator.

关键词： Functional reactive programming reactive programming arrows program transformation static scheduling

来源：评论

学校读者我要写书评

暂无评论

Composable Higher-Order Reactors as the Basis for a Live reactive programming Environment 5

Composable Higher-Order Reactors as the Basis for a Live Rea...

引用

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

作者： Oeyen, Bjarno Avila, Humberto Rodriguez Van den Vonder, Sam De Meuter, Wolfgang Vrije Univ Brussel Brussels Belgium

ISBN: (纸本)9781450360708

A live programming environment allows programmers to edit programs while they are running. This means that successive "edit steps" must not allow a programmer to bring the program in a form that does not make any sense to the underlying language processor (i.e., parser, compiler,...). Many live programming environments therefore rely on disciplined edit steps that are based on language elements such as objects, classes, and methods. Textual modifications to these elements are not seen as edit steps until some "accept" button is hit. Unfortunately, no such elements exist in current reactive languages. We present a new reactive language, called Haai, that is based on first-class higher-order reactors. Linguistically, Haai programs correspond to reactors or compositions of reactors. At run-time, reactors produce an infinite stream of values just like signals and behaviours in existing languages. Haai's live programming environment relies on textual modifications of entire reactors as its basic edit steps. Changing a reactor automatically updates all occurrences of that reactor in the reactive program, while it is running.

关键词： reactive programming High-Order programming Live programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Towards reactive programming for Object-Oriented Applications

Towards Reactive Programming for Object-Oriented Application...

引用

12th International Conference on Modularity and Aspect-Oriented Software Development

作者： Salvaneschi, Guido Mezini, Mira Tech Univ Darmstadt Software Technol Grp Darmstadt Germany

ISBN: (纸本)9783642550997;9783642550980

reactive applications are difficult to implement. Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO design. On the other hand, reactive approaches based on automatic updates of dependencies - like functional reactive programming and dataflow languages - provide undoubted advantages but do not fit well with mutable objects. In this paper, we provide a research roadmap to overcome the limitations of the current approaches and to support reactive applications in the OO setting. To establish a solid background for our investigation, we propose a conceptual framework to model the design space of reactive applications and we study the flaws of the existing solutions. Then we highlight how reactive languages have the potential to address those issues and we formulate our research plan.

关键词： reactive programming Functional-reactive programming Object-oriented programming Incremental Computation

来源：评论

学校读者我要写书评

暂无评论

DEBS grand challenge: Geospatial event analytics leveraging reactive programming 9

DEBS grand challenge: Geospatial event analytics leveraging ...

引用

9th ACM International Conference on Distributed Event-Based Systems, DEBS 2015

作者： Doblander, Christoph Parsch, Thomas Jacobsen, Hans-Arno Technische Universität München Germany

ISBN: (纸本)9781450332866

In this paper, we present a solution to this year's DEBS Grand Challenge based on concepts from reactive systems. reactive systems is a system architecture style with the following properties: Responsive, resilient, elastic, and message driven. When systems are built based on these properties, they tend to be more flexible, loosely-coupled, and scaleable. In this paper, we describe how to combine the operators given in the reactiveX API to realize the individual challenge queries using asynchronous data-flows and evaluate the performance. Copyright 2015 ACM.

关键词： Complex event processing DEBS grand challenge Event processing Publish/subscribe reactive programming

来源：评论

学校读者我要写书评

暂无评论

LoRe: Local-First reactive programming with Verified Safety Guarantees 26

LoRe: Local-First Reactive Programming with Verified Safety ...

引用

ACM SIGPLAN International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH Companion)

作者： Haas, Julian Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781450399012

Nowadays, the dominant design approach in distributed software is cloud-centric. This comes at the cost of several issues including loss of control over data ownership and privacy, lack of offline availability, poor latency, inefficient use of communication infrastructure, and waste of (powerful) computing resources on the edge. Local-first software presents an alternative approach where data is stored and managed locally and devices primarily communicate in a peer-to-peer manner. However, the decentralized nature of local-first software paired with the unpredictability of interactions driven from the outside world impede reasoning about correctness of such applications. Yet, existing solutions to develop local-first software do not provide safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. In this work, we propose LoRe, a programming language and compiler that automatically verifies developer-supplied safety properties for local-first applications.

关键词： local-first reactive programming

来源：评论

学校读者我要写书评

暂无评论

Leveraging Hybrid Cloud HPC with Multitier reactive programming 3

Leveraging Hybrid Cloud HPC with Multitier Reactive Programm...

引用

3rd IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies (SuperCompCloud)

作者： Sokolowski, Daniel Lehr, Jan-Patrick Bischof, Christian Salvaneschi, Guido Tech Univ Darmstadt React Programming Technol Darmstadt Germany Tech Univ Darmstadt Sci Comp Darmstadt Germany Univ St Gallen Programming St Gallen Switzerland

ISBN: (纸本)9780738110554

The advent of cloud computing has enabled largescale availability of on-demand computing and storage resources. However, these benefits are not yet at the fingertips of HPC developers: Typical HPC applications use on-premise computing resources and rely on static deployment setups, reliable hardware, and rather homogeneous resources. This hinders (partial) execution in the cloud, even though applications could benefit from scaling beyond on-premise resources and from the variety of hardware available in the cloud to speed up execution. To address this issue, we orchestrate computationally intensive kernels using a high-level programming language that ensures advanced optimization and improves execution flexibility-enabling hybrid cloud/on-premise HPC deployments. Our approach is based on multitier reactive programming, where distributed code is defined within the same compilation unit and computations are placed explicitly using placement types. We adjust placement based on performance characteristics measured before execution, apply our approach to a shortest vector problem (SVP) solver from cryptanalysis, and evaluate it to be effective.

关键词： High Performance Computing Hybrid Cloud Computing Multitier programming reactive programming

来源：评论

学校读者我要写书评

暂无评论

Trampoline variables: A general method for state accumulation in reactive programming 8

Trampoline variables: A general method for state accumulatio...

引用

8th ACM SIGPLAN International Workshop on reactive and Event-Based Languages and Systems, REBLS 2021, co-located with SPLASH 2021

作者： Oeyen, Bjarno Van Den Vonder, Sam De Meuter, Wolfgang Software Languages Lab Vrije Universiteit Brussel Brussels Belgium

ISBN: (纸本)9781450391085

reactive programming is all about relegating the management of a program's state changes to the realm of the runtime environment. Nevertheless, sometimes it is still necessary to enrich a reactive program with state variables that are explicitly updated by the programmer. In current reactive languages this is accomplished either by polluting the reactive paradigm with imperative constructs or by relying on built-in operators such as foldp. This paper introduces trampoline variables, a new general mechanism that allows reactive programs to manipulate state explicitly without resorting to imperative programming. We show that our proposal is at least as powerful as existing built-in reactive operators. We also analyse how reactive programs with trampoline variables can be composed and how they can form the basis to replace stateful constituents of a running reactive program - a.k.a. hotswapping - in a coherent way. The latter is an essential building block towards live IDEs for reactive programming languages. © 2021 ACM.

关键词： Higher-Order programming reactive programming Stateful Computations

来源：评论

学校读者我要写书评

暂无评论

C++ reactive programming 1

引用

丛书名： []

2018年

作者： Peter Abraham Praseed Pai

ISBN: (数字)9781788624244

ISBN: (纸本)9781788629775

Learn how to implement the reactive programming paradigm with C++ and build asynchronous and concurrent applications Key Features Efficiently exploit concurrency and parallelism in your programs Use the Functional reactive programming model to structure programs Understand reactive GUI programming to make your own applications using Qt Book Description reactive programming is an effective way to build highly responsive applications with an easy-to-maintain code base. This book covers the essential functional reactive concepts that will help you build highly concurrent, event-driven, and asynchronous applications in a simpler and less error-prone way. C++ reactive programming begins with a discussion on how event processing was undertaken by different programming systems earlier. After a brisk introduction to modern C++ (C++17), you'll be taken through language-level concurrency and the lock-free programming model to set the stage for our foray into the Functional programming model. Following this, you'll be introduced to RxCpp and its programming model. You'll be able to gain deep insights into the RxCpp library, which facilitates reactive programming. You'll learn how to deal with reactive programming using Qt/C++ (for the desktop) and C++ microservices for the Web. By the end of the book, you will be well versed with advanced reactive programming concepts in modern C++ (C++17). What you will learn Understand language-level concurrency in C++ Explore advanced C++ programming for the FRP Uncover the RxCpp library and its programming model Mix the FP and OOP constructs in C++ 17 to write well-structured programs Master reactive microservices in C++ Create custom operators for RxCpp Learn advanced stream processing and error handling Who this book is for If you're a C++ developer interested in using reactive programming to build asynchronous and concurrent applications, you'll find this book extremely useful. This book doesn't assume any previous knowledge of reactive

关键词： reactive programming RxCpp reactive C++ C++ reactive Compositional Event Systems Functional reactive programming reactive Extensions backpressure Error Handling core.async message driven event driven

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：