Search
Search Results
-
Reactamole: functional reactive molecular programming
Chemical reaction networks (CRNs) are an important tool for molecular programming. This field is rapidly expanding our ability to deploy computer...
-
The Reactive Programming Paradigm
In Chapter 9 , we completed our tour of the data presentation layer (UI) architecture design patterns for... -
Performance Analysis of Web Server Side Reactive Programming
The traditional imperative programming paradigm at web server side encounters some performance limitations when handling lots of concurrent requests.... -
Reactive Programming Using Spring WebFlux
Modern IT business needs have changed significantly compared to a few years ago. The amount of data that is being generated from various sources like... -
Asynchronous Reactive Programming with Modal Types in Haskell
The implementation of asynchronous systems, in particular graphical user interfaces, is traditionally based on an imperative model that uses shared... -
Spring Boot Reactive
In this chapter we are going to talk about how the Spring Framework utilizes the power of Project Reactor (... -
Adjoint Reactive GUI Programming
Most interaction with a computer is via graphical user interfaces. These are traditionally implemented imperatively, using shared mutable state and... -
What Is a Reactive System?
I’ve explained what a business application is and how they’re currently built. In this chapter, I will investigate properties and features that are... -
Combining Logic Programming and Imperative Programming in LPS
Logic programs and imperative programs employ different notions of computing. Logic programs compute by proving that a goal is a logical consequence... -
Reactive Spring
The previous chapters demonstrated how to build and run typical Kotlin web applications on an instance of Apache Tomcat server that was either... -
Reactive Spring
Iuliana Cosmina iuliana.cosmina@gmail.com -
Actor-Based Designs for Distributed Self-organisation Programming
Self-organisation and collective adaptation are highly desired features for several kinds of large-scale distributed systems including robotic... -
Extending parallel programming patterns with adaptability features
Today, all computers have some degree of usable parallelism. Modern computers are explicitly equipped with hardware support for parallelism, such as...
-
SynthLearn: A Tool for Guided Reactive Synthesis
In this paper, we introduce the SynthLearn tool. It implements an algorithm for reactive synthesis using LTL specifications, supplemented with... -
Dynamic Logic Programming
Dynamic Logic Programming (DLP) is an extension to logic programming designed to support the representation of knowledge about dynamic worlds. It... -
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018–2021). We briefly describe the evaluation scheme and the...
-
Asynchronous Programming with SwiftUI and Combine Functional Programming to Build UIs on Apple Platforms
Develop UI-heavy applications more easily, faster, and error-free. Based on several enhancements to the Swift language, SwiftUI takes a declarative...
-
Hardware Implementation of OCaml Using a Synchronous Functional Language
We present a hardware implementation of the high-level multi-paradigm language OCaml using a declarative language called Eclat. Eclat is tailored for... -
Concurrent Programming
Concurrent programming is essential to application development; it allows your iOS application to perform multiple operations simultaneously while... -
Proactive-Reactive Global Scaling, with Analytics
In this work, we focus on by-design global scaling, a technique that, given a functional specification of a microservice architecture, orchestrates...