DeepAI
Log In Sign Up

The process of purely event-driven programs

03/29/2018
by   Bas van den Heuvel, et al.
0

Using process algebra, this paper describes the formalisation of the process/semantics behind the purely event-driven programming language.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/04/2018

A Purely Functional Computer Algebra System Embedded in Haskell

We demonstrate how methods in Functional Programming can be used to impl...
02/02/2019

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design

The World model is an existing functional input-output mechanism for eve...
07/05/2019

Type-safe, Polyvariadic Event Correlation

The pivotal role that event correlation technology plays in todays appli...
08/19/2019

Implicit Recursive Characteristics of STOP

The most important notations of Communicating Sequential Process(CSP) ar...
04/15/2018

Evolving Event-driven Programs with SignalGP

We present SignalGP, a new genetic programming (GP) technique designed t...
08/15/2019

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Most functional languages rely on some garbage collection for automatic ...
12/08/2019

Formalizing Event-Driven Behavior of Serverless Applications

We present new operational semantics for serverless computing that model...